patch management

Use texteditor if available

Auto disable if patches folder doesnt exist

And show a restart message after file edit

Sort menu entries in execution order

Warning sign for failing patches
This commit is contained in:
zwim
2022-12-30 08:45:27 +01:00
committed by zwim
parent cf9d3a0d70
commit 4e944dc918
5 changed files with 203 additions and 0 deletions

View File

@@ -185,6 +185,7 @@ local order = {
"terminal",
"----------------------------",
"plugin_management",
"patch_management",
},
search = {
"dictionary_lookup",