Sancaros/phantasmal-world
1
0
Fork 0
mirror of https://github.com/DaanVandenBosch/phantasmal-world.git synced 2025-04-05 15:28:29 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixed bug that prevented ctrl-z and ctrl-shift-z from working in the ASM editor.

Browse Source
This commit is contained in:
Daan Vanden Bosch 2020-04-25 20:54:42 +02:00
parent 47b1dc5073
commit 0425faec81
2 changed files with 4 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/quest_editor/controllers/QuestEditorToolBarController.ts
View File

@ -131,6 +131,10 @@ export class QuestEditorToolBarController extends Controller {
undo_manager.redo(); undo_manager.redo();
}), }),
gui_store.on_global_keydown(GuiTool.QuestEditor, "Ctrl-Y", () => {
undo_manager.redo();
}),
gui_store.on_global_keydown(GuiTool.QuestEditor, "F5", this.debug), gui_store.on_global_keydown(GuiTool.QuestEditor, "F5", this.debug),
gui_store.on_global_keydown(GuiTool.QuestEditor, "Shift-F5", this.stop), gui_store.on_global_keydown(GuiTool.QuestEditor, "Shift-F5", this.stop),

10
src/quest_editor/gui/AsmEditorView.ts
View File

@ -68,15 +68,6 @@ export class AsmEditorView extends ResizableView {
this.history = this.disposable(new EditorHistory(this.editor)); this.history = this.disposable(new EditorHistory(this.editor));
// Commands and actions.
this.editor.addCommand(KeyMod.CtrlCmd | KeyCode.KEY_Z, () => {
// Do nothing.
});
this.editor.addCommand(KeyMod.CtrlCmd | KeyMod.Shift | KeyCode.KEY_Z, () => {
// Do nothing.
});
const quick_command = this.editor.getAction("editor.action.quickCommand"); const quick_command = this.editor.getAction("editor.action.quickCommand");
this.disposables( this.disposables(
@ -88,7 +79,6 @@ export class AsmEditorView extends ResizableView {
}), }),
); );
// Undo/Redo
this.disposables( this.disposables(
asm_editor_store.did_undo.observe(({ value: source }) => { asm_editor_store.did_undo.observe(({ value: source }) => {
this.editor.trigger(source, "undo", undefined); this.editor.trigger(source, "undo", undefined);