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

Added a toolbar to the script view.

Browse Source
This commit is contained in:
jtuu 2019-09-14 23:25:21 +03:00
parent 22bf650f04
commit 463685ffa1
2 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/quest_editor/gui/AsmEditorToolBar.ts Normal file
View File

@ -0,0 +1,12 @@
import { ToolBar } from "../../core/gui/ToolBar";
import { Button } from "../../core/gui/Button";
export class AsmEditorToolBar extends ToolBar {
constructor() {
super({
children: [],
});
this.finalize_construction(AsmEditorToolBar.prototype);
}
}

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

@ -3,6 +3,7 @@ import { el } from "../../core/gui/dom";
import { editor } from "monaco-editor"; import { editor } from "monaco-editor";
import { asm_editor_store } from "../stores/AsmEditorStore"; import { asm_editor_store } from "../stores/AsmEditorStore";
import IStandaloneCodeEditor = editor.IStandaloneCodeEditor; import IStandaloneCodeEditor = editor.IStandaloneCodeEditor;
import { AsmEditorToolBar } from "./AsmEditorToolBar";
editor.defineTheme("phantasmal-world", { editor.defineTheme("phantasmal-world", {
base: "vs-dark", base: "vs-dark",
@ -26,11 +27,15 @@ editor.defineTheme("phantasmal-world", {
const DUMMY_MODEL = editor.createModel("", "psoasm"); const DUMMY_MODEL = editor.createModel("", "psoasm");
export class AsmEditorView extends ResizableWidget { export class AsmEditorView extends ResizableWidget {
private readonly tool_bar_view = this.disposable(new AsmEditorToolBar());
private readonly editor: IStandaloneCodeEditor; private readonly editor: IStandaloneCodeEditor;
constructor() { constructor() {
super(el.div()); super(el.div());
this.element.append(this.tool_bar_view.element);
this.editor = this.disposable( this.editor = this.disposable(
editor.create(this.element, { editor.create(this.element, {
theme: "phantasmal-world", theme: "phantasmal-world",