 Daniele Bartolini
|
55c195b6f7
Cleanup
|
hace 11 años |
|
Daniele Bartolini
|
f36e78ba23
Cleanup
|
hace 11 años |
|
Daniele Bartolini
|
b4e1e00da1
Cleanup
|
hace 11 años |
|
Daniele Bartolini
|
17ae2b10e2
Add .editorconfig
|
hace 11 años |
|
Daniele Bartolini
|
012bf4893d
Update copyright notice
|
hace 11 años |
|
Daniele Bartolini
|
6918e3c937
Add mouse wheel support for linux
|
hace 11 años |
|
Daniele Bartolini
|
076005278a
Do not pass ConfigSettings around
|
hace 11 años |
|
Daniele Bartolini
|
2b676e0459
Merge CommandLineSettings and ConfigSettings
|
hace 11 años |
|
Daniele Bartolini
|
7e06066a67
Cleanup
|
hace 11 años |
|
Daniele Bartolini
|
9bc5f473ec
Cleanup
|
hace 11 años |
|
Daniele Bartolini
|
7d09022258
Cleanup
|
hace 11 años |
|
Daniele Bartolini
|
08d2b3ea39
Prepare to use new compile()
|
hace 11 años |
|
Daniele Bartolini
|
68e121a7e0
Enable --parent-window on linux
|
hace 11 años |
|
Daniele Bartolini
|
ad8ffa7758
Do not distinguish between upper/lower case
|
hace 11 años |
|
Daniele Bartolini
|
fa2024a75e
Rewrite windows main
|
hace 11 años |
|
Daniele Bartolini
|
386ef4139d
Rewrite linux main
|
hace 11 años |
|
Daniele Bartolini
|
a84c01113c
Reorganize os stuff prior to next move
|
hace 11 años |
