Mercurial > gemma
graph
-
toolbar: font for time display increased time-slidingMon, 02 Mar 2020 16:17:50 +0100, by Thomas Junk
-
toolbar: smaller font for display of time in toolbar. Tooltip shows selected time time-slidingMon, 02 Mar 2020 14:34:15 +0100, by Thomas Junk