Giovanni Giacobbi 53c89d8f02
Fix data indicator formatting to cover also "unsaved changes" indicator
Signed-off-by: Giovanni Giacobbi <giovanni@giacobbi.net>
2021-01-21 11:10:34 +01:00
..
2020-08-16 20:12:41 +08:00
2020-08-20 13:04:20 +08:00
2020-07-25 15:21:33 +08:00
2020-08-16 20:12:41 +08:00
2020-09-13 22:08:31 +08:00
2020-07-25 15:21:33 +08:00