| Wed, 11 Mar 2020 13:26:02 +0100 |
Fadi Abbud |
merge default into time-slinding branch
time-sliding
|
| Wed, 11 Mar 2020 13:21:36 +0100 |
Fadi Abbud |
client: add window resize event listener
time-sliding
|
| Wed, 11 Mar 2020 12:39:27 +0100 |
Thomas Junk |
timeslider: remove first. redraw later
time-sliding
|
| Tue, 10 Mar 2020 12:49:16 +0100 |
Fadi Abbud |
client: enhanced time-slider behavior on updating selected time after reloads
time-sliding
|
| Tue, 10 Mar 2020 12:29:13 +0100 |
Fadi Abbud |
client: improve time-slider code
time-sliding
|
| Mon, 09 Mar 2020 16:30:57 +0100 |
Fadi Abbud |
client: set time according to zoom level.
time-sliding
|
| Mon, 09 Mar 2020 15:38:00 +0100 |
Fadi Abbud |
client: correct showing of time in toolbar according to zoom level(selected time)
time-sliding
|
| Mon, 09 Mar 2020 15:00:21 +0100 |
Fadi Abbud |
client: improve time-slider code
time-sliding
|
| Mon, 09 Mar 2020 12:52:37 +0100 |
Fadi Abbud |
client: improve behavior of time-slider during the use of date/time picker
time-sliding
|
| Mon, 09 Mar 2020 12:41:47 +0100 |
Fadi Abbud |
merge default into time-slinding branch
time-sliding
|
| Fri, 06 Mar 2020 17:21:20 +0100 |
Fadi Abbud |
client: adjust time-slider position in case of opened diagram
time-sliding
|
| Fri, 06 Mar 2020 13:30:10 +0100 |
Thomas Junk |
fix accidental deletion of current input
time-sliding
|
| Fri, 06 Mar 2020 12:45:28 +0100 |
Fadi Abbud |
client: improve time-slider behavior
time-sliding
|
| Fri, 06 Mar 2020 12:41:13 +0100 |
Fadi Abbud |
merged default into time-sliding branch
time-sliding
|
| Thu, 05 Mar 2020 12:15:37 +0100 |
Fadi Abbud |
merged default into time-sliding branch
time-sliding
|
| Mon, 02 Mar 2020 16:17:50 +0100 |
Thomas Junk |
toolbar: font for time display increased
time-sliding
|
| Mon, 02 Mar 2020 14:58:47 +0100 |
Thomas Junk |
toolbar: fix display of time
time-sliding
|
| Mon, 02 Mar 2020 14:40:50 +0100 |
Thomas Junk |
toolbar: use localized date
time-sliding
|
| Mon, 02 Mar 2020 14:34:15 +0100 |
Thomas Junk |
toolbar: smaller font for display of time in toolbar. Tooltip shows selected time
time-sliding
|
| Mon, 02 Mar 2020 14:23:35 +0100 |
Thomas Junk |
toolbar: use 24h format for time display
time-sliding
|
| Mon, 02 Mar 2020 14:00:20 +0100 |
Fadi Abbud |
client: (minor) adjust max value for input field
time-sliding
|
| Mon, 02 Mar 2020 13:52:45 +0100 |
Fadi Abbud |
client: (minor) fix size of time-slider for toolbar
time-sliding
|
| Mon, 02 Mar 2020 13:41:57 +0100 |
Fadi Abbud |
client: add Time picker to the time-slider
time-sliding
|
| Mon, 02 Mar 2020 10:27:40 +0100 |
Fadi Abbud |
client: better formatting of time
time-sliding
|
| Fri, 28 Feb 2020 17:05:56 +0100 |
Fadi Abbud |
client: date localization for time slider
time-sliding
|
| Fri, 28 Feb 2020 16:38:53 +0100 |
Fadi Abbud |
client: improve the axes labeling for time-slider
time-sliding
|
| Fri, 28 Feb 2020 15:13:54 +0100 |
Fadi Abbud |
client: reduce space between lines for the date info in toolbar
time-sliding
|
| Fri, 28 Feb 2020 12:55:24 +0100 |
Fadi Abbud |
client: set wheeldelta to facilitate quick changes of zoomlevel
time-sliding
|
| Fri, 28 Feb 2020 11:32:37 +0100 |
Thomas Junk |
selected time is refreshed after reloads
time-sliding
|
| Fri, 28 Feb 2020 10:29:18 +0100 |
Thomas Junk |
icon shows now date and time
time-sliding
|
