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
|