8883685eea
Fix font size in initial user's config
2021-03-01 09:48:12 +01:00
0dc18de6bc
Add information about icon_big_font in initial user's configuration
2021-02-27 12:13:51 +01:00
4f2e38d41f
Make code and ui font smaller at 12
2021-02-19 16:23:19 +01:00
68d9794926
Adjust default code font size
...
The previous value looks too big in hidpi screens
2021-02-19 16:10:57 +01:00
ef5e431a8b
New feature to disable plugins from config
...
Disable trimwhitespace by default
2021-01-13 14:50:24 +01:00
3a38ded396
Use core.reload_module instead of style.load
2020-12-13 13:04:06 +01:00
2373c63a0b
Complete the initial user configuration file
2020-12-11 14:49:03 +01:00
9114148b45
Automatically reload style when saving the project user module
2020-12-10 17:56:53 +01:00
a337f893d9
Implement user's config as init file and add directory into package.path
...
Create the user's config init file if lite user's config directory does
not exists.
No longer use the awkward package.searchers but instead add user's
config dir at the end of package path.
2020-12-02 16:03:31 +01:00
cc58fcc35b
Changed summer color theme's caret color
2020-05-29 17:19:27 +01:00
d8c4bfa6ba
Initial commit
2019-12-28 11:17:56 +00:00
Francesco Abbate
rxi