Ernie Pasveer
|
e31df64867
|
Change file changed button to an icon.
|
2023-10-04 18:37:22 -05:00 |
|
Ernie Pasveer
|
a6f6858a05
|
Add option to reload source file if it changes.
|
2023-10-02 17:09:09 -05:00 |
|
Ernie Pasveer
|
5fd4be225a
|
Don't sort highlighting keys.
|
2022-12-19 19:31:42 -06:00 |
|
Ernie Pasveer
|
33c3e15c7b
|
Improve specifying alternate directory if the source has moved.
|
2022-10-22 11:35:30 -05:00 |
|
Ernie Pasveer
|
55613f9e2c
|
Improve the hide/show of some menus.
|
2022-10-15 10:36:43 -05:00 |
|
Ernie Pasveer
|
72bc87a9b2
|
Add 'clear' action to QHistoryLineEdit. Add QHistoryLineEdit to more
widgets.
|
2022-08-11 20:31:54 -05:00 |
|
Ernie Pasveer
|
3c216d9207
|
Minor UI fixes.
|
2022-07-09 15:32:13 -05:00 |
|
Ernie Pasveer
|
4da9bbbd9e
|
Renaming...
|
2022-07-03 12:54:56 -05:00 |
|