|
|
e9ecbb8f6f
|
gui: support everything
|
2019-07-16 17:39:53 +01:00 |
|
|
|
989f31634c
|
gui: better quotes and add mouse
|
2019-07-16 16:54:32 +01:00 |
|
|
|
a54c05e9f7
|
gui: fix general tab and tooltips
|
2019-07-14 19:21:19 +02:00 |
|
|
|
ff0d722b0b
|
gui: add general config
|
2019-07-07 14:35:02 +02:00 |
|
|
|
0dc601f265
|
gui: size and ui improvements
|
2019-06-27 10:56:15 +02:00 |
|
|
|
16eee5092a
|
gui: add mouse bindings
|
2019-06-26 18:51:42 +02:00 |
|
|
|
408d922ff2
|
gui: better key binding ux
|
2019-06-26 18:32:52 +02:00 |
|
|
|
df50176bcd
|
gui: add --dry|-d
|
2019-06-26 14:45:41 +02:00 |
|
|
|
d15f8fd2ae
|
gui: make key bindings really work
|
2019-06-26 13:57:29 +02:00 |
|
|
|
59ec9f6abf
|
gui: tweak layout
|
2019-06-26 13:25:48 +02:00 |
|
|
|
62bbde8bf7
|
gui: error message if PyQt5 isn’t installed
|
2019-06-26 12:39:00 +02:00 |
|
|
|
25a96cc991
|
gui: add keybindings
|
2019-06-26 12:34:40 +02:00 |
|
|
|
ef7e60f05c
|
gui: more options
|
2019-06-25 18:52:15 +02:00 |
|
|
|
3403a48bab
|
gui: more colors and add spoilers
|
2019-06-25 18:03:46 +02:00 |
|
|
|
bb2c71e10f
|
gui: add scrolling
|
2019-06-25 17:22:52 +02:00 |
|
|
|
a5c63938cd
|
gui: better font section
|
2019-06-25 17:01:44 +02:00 |
|
|
|
60fffdf4e6
|
gui: remove debug print
|
2019-06-25 15:28:19 +02:00 |
|
|
|
8986775160
|
gui: initial
|
2019-06-25 14:51:47 +02:00 |
|
