Francesco Abbate 68d9794926 Adjust default code font size ...

The previous value looks too big in hidpi screens

2021-02-19 16:10:57 +01:00

..

colors

Implement user's config as init file and add directory into package.path

2020-12-02 16:03:31 +01:00

core

Adjust default code font size

2021-02-19 16:10:57 +01:00

fonts

New fontello font smaller plus two new icons

2021-02-19 10:12:43 +01:00

plugins

Automatic keep adjusting indent size

2021-02-19 11:51:49 +01:00

user

Adjust default code font size

2021-02-19 16:10:57 +01:00