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
|
Thu, 27 Feb 2020 17:55:31 +0100 |
Fadi Abbud |
client: add date picker to the time-slider
time-sliding
|
Thu, 27 Feb 2020 09:53:11 +0100 |
Fadi Abbud |
client: move selectedTime to store
time-sliding
|
Thu, 27 Feb 2020 09:18:17 +0100 |
Fadi Abbud |
client: Implemented first version of time-sliding
time-sliding
|
Fri, 20 Mar 2020 17:24:03 +0100 |
Tom Gottfried |
Enhance comments on implementations of StageDone()
|