log

age author description
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