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
|