6340dbe299
- enhancement: show error message when user set a shortcut that's already being used.
2022-05-14 16:52:56 +08:00
5e349ec21e
- fix: when oj problem grabbed by competitive companion received,
...
the app is restored to normal state, no matter it's current state.
- enhancement: input shortcut in the option dialog's general -> shortcut page by pressing keys.
2022-04-01 21:09:24 +08:00
f298cc7b47
- fix: mainwindow action's short cut doesn't work, if the action is not in menu or toolbar
2022-01-27 23:48:46 +08:00
317db42876
add license information
2021-12-26 23:18:28 +08:00
7f4840a299
basic linux compatibily
2021-12-24 23:18:20 +08:00
5c9ef2035e
clean up compile warnings
2021-10-20 18:05:43 +08:00
48e97dc15d
- implement: config shortcuts
2021-10-06 23:19:18 +08:00
d88bab1e20
work save: implement shortcut configurations
2021-10-06 12:19:46 +08:00
Roy Qu