| Mon, 23 Mar 2020 17:33:26 +0100 |
Fadi Abbud |
client: distinguish time in refreshLayers requests during Time-slider enable/disable
time-sliding
|
| Fri, 13 Mar 2020 10:37:44 +0100 |
Thomas Junk |
timeslider: prerequisites for time travel
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, 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 13:52:45 +0100 |
Fadi Abbud |
client: (minor) fix size of time-slider for toolbar
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 10:29:18 +0100 |
Thomas Junk |
icon shows now date and time
time-sliding
|
| Thu, 27 Feb 2020 09:18:17 +0100 |
Fadi Abbud |
client: Implemented first version of time-sliding
time-sliding
|
