2021-04-13 20:03:53 +02:00
|
|
|
namespace OS {
|
2021-06-13 11:06:49 +02:00
|
|
|
|
|
|
|
|
export namespace GUI {
|
|
|
|
|
export namespace tag {
|
|
|
|
|
class AntEditExtensionListItem extends ListViewItemTag
|
|
|
|
|
{
|
|
|
|
|
protected itemlayout(): TagLayoutType {
|
|
|
|
|
return {
|
|
|
|
|
el: "div",
|
|
|
|
|
children: [
|
|
|
|
|
{el:"afx-label", ref: "label"},
|
|
|
|
|
{el:"p", ref:"desc", id: "ext-list-item-d-p"},
|
|
|
|
|
{
|
|
|
|
|
el:"p",
|
|
|
|
|
id: "ext-list-item-b-p",
|
|
|
|
|
children:[
|
|
|
|
|
{
|
|
|
|
|
el: "i",
|
|
|
|
|
ref:"intall_status"
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
el: "afx-button",
|
|
|
|
|
ref:"btn_remove"
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
el: "afx-button",
|
|
|
|
|
ref:"btn_install"
|
|
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
protected ondatachange(): void {
|
|
|
|
|
const v = this.data;
|
|
|
|
|
if (!v) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
const label = this.refs.label as LabelTag;
|
|
|
|
|
label.iconclass = "bi bi-puzzle";
|
|
|
|
|
label.text = `${v.text} - v${v.version}`;
|
|
|
|
|
// add description
|
|
|
|
|
const p_desc = this.refs.desc as HTMLParagraphElement;
|
|
|
|
|
$(p_desc).text(v.description);
|
|
|
|
|
|
|
|
|
|
// button install
|
|
|
|
|
const btn_install = this.refs.btn_install as ButtonTag;
|
|
|
|
|
// button remove
|
|
|
|
|
const btn_remove = this.refs.btn_remove as ButtonTag;
|
|
|
|
|
|
|
|
|
|
if(v.installed)
|
|
|
|
|
{
|
|
|
|
|
$(btn_remove).show();
|
|
|
|
|
btn_remove.iconclass = "bi bi-trash-fill";
|
|
|
|
|
btn_install.iconclass = "bi bi-arrow-repeat";
|
|
|
|
|
$(this.refs.intall_status).text(__("Installed: v{0} ", v.installed).__());
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
$(btn_remove).hide();
|
|
|
|
|
btn_install.iconclass = "fa bi-cloud-download-fill";
|
|
|
|
|
$(this.refs.intall_status).text(" ");
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
protected init(): void {
|
|
|
|
|
this.closable = false;
|
|
|
|
|
this.data = {};
|
|
|
|
|
// button install
|
|
|
|
|
const btn_install = this.refs.btn_install as ButtonTag;
|
|
|
|
|
// button remove
|
|
|
|
|
const btn_remove = this.refs.btn_remove as ButtonTag;
|
|
|
|
|
btn_install.onbtclick = (e) => {
|
|
|
|
|
if(!this.data.download || !this.data.install_action)
|
|
|
|
|
{
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
this.data.install_action(this.data.download, (v: string) =>{
|
|
|
|
|
this.data.installed = v;
|
|
|
|
|
this.update(undefined);
|
|
|
|
|
});
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
btn_remove.onbtclick = (e) => {
|
|
|
|
|
if(!this.data.installed || !this.data.uninstall_action)
|
|
|
|
|
{
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
this.data.uninstall_action(this.data.name, () => {
|
|
|
|
|
delete this.data.installed;
|
|
|
|
|
this.update(undefined);
|
|
|
|
|
});
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
protected reload(d?: any): void {
|
|
|
|
|
this.data = this.data;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define("afx-antedit-ext-list-item", AntEditExtensionListItem)
|
|
|
|
|
}
|
|
|
|
|
}
|
2021-04-13 20:03:53 +02:00
|
|
|
export namespace application {
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
declare var require: any;
|
|
|
|
|
export type AnteditLogger = typeof Logger;
|
2021-06-13 11:06:49 +02:00
|
|
|
const DEFAULT_REPO = "https://raw.githubusercontent.com/lxsang/antos-antedit-extensions/master/extensions.json"
|
|
|
|
|
|
2021-04-13 20:03:53 +02:00
|
|
|
/**
|
2021-04-18 18:49:53 +02:00
|
|
|
* A simple yet powerful code/text editor.
|
2021-04-13 20:03:53 +02:00
|
|
|
*
|
2021-04-18 18:49:53 +02:00
|
|
|
* Antedit is the default text editor shipped with
|
|
|
|
|
* AntOS base system. It is based on the Monaco editor
|
|
|
|
|
* which power the VS Code IDE.
|
|
|
|
|
*
|
|
|
|
|
* @export
|
2021-04-13 20:03:53 +02:00
|
|
|
* @class Antedit
|
|
|
|
|
* @extends {BaseApplication}
|
|
|
|
|
*/
|
|
|
|
|
export class Antedit extends BaseApplication {
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
static EditorBaseExtension: AnteditBaseExtension;
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the editor manager instance
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {EditorModelManager}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
eum: EditorModelManager;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the current working directory
|
|
|
|
|
*
|
|
|
|
|
* @type {API.VFS.BaseFileHandle}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
currdir: API.VFS.BaseFileHandle;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Placeholder stores all extension actions loaded from
|
|
|
|
|
* extensions.json
|
|
|
|
|
*
|
|
|
|
|
* @type {GenericObject<any>}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
extensions: GenericObject<any>;
|
|
|
|
|
|
2021-06-13 11:06:49 +02:00
|
|
|
/**
|
|
|
|
|
* Variable stores all available extension meta-data
|
|
|
|
|
* @type {GenericObject<any>[]}
|
|
|
|
|
* @meberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private extension_meta_data: GenericObject<any>[];
|
|
|
|
|
|
2021-04-18 18:49:53 +02:00
|
|
|
/**
|
|
|
|
|
* Reference to the sidebar file view UI
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.FileViewTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private fileview: GUI.tag.FileViewTag;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the sidebar
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.VBoxTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private sidebar: GUI.tag.VBoxTag;
|
2021-06-13 11:06:49 +02:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the sidebar tab container
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.TabContainerTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private sidebar_container: GUI.tag.TabContainerTag;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the extension list UI
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.ListViewTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private extension_list_view: GUI.tag.ListViewTag;
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the bottom bar
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.TabContainerTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private bottombar: GUI.tag.TabContainerTag;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the language status bar
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.LabelTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private langstat: GUI.tag.LabelTag;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the editor status bar
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.LabelTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private editorstat: GUI.tag.LabelTag;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the file status bar
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {GUI.tag.LabelTag}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private filestat: GUI.tag.LabelTag;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Is the split mode enabled
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {boolean}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private split_mode: boolean;
|
2022-07-04 18:11:05 +02:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Buffer for open diff
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {EditorFileHandle[]}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private diff_buffer: EditorFileHandle[];
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Reference to the editor logger
|
|
|
|
|
*
|
|
|
|
|
* @type {Logger}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
logger: Logger;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Extension prototype definition will be stored
|
|
|
|
|
* in this class variable
|
|
|
|
|
*
|
|
|
|
|
* @static
|
|
|
|
|
* @type {GenericObject<any>}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
static extensions: GenericObject<any>;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Prototype definition of a Logger
|
|
|
|
|
*
|
|
|
|
|
* @static
|
|
|
|
|
* @type {AnteditLogger}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
static Logger: AnteditLogger;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
*Creates an instance of Antedit.
|
|
|
|
|
* @param {AppArgumentsType[]} args application arguments
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
2021-04-13 20:03:53 +02:00
|
|
|
constructor(args: AppArgumentsType[]) {
|
|
|
|
|
super("Antedit", args);
|
2021-04-18 18:49:53 +02:00
|
|
|
this.currdir = undefined;
|
2022-07-04 18:11:05 +02:00
|
|
|
this.diff_buffer = [undefined, undefined];
|
2021-04-13 20:03:53 +02:00
|
|
|
}
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Main application entry point
|
|
|
|
|
*
|
|
|
|
|
* @returns {void}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
2021-04-13 20:03:53 +02:00
|
|
|
main(): void {
|
2021-04-18 18:49:53 +02:00
|
|
|
this.extensions = {};
|
|
|
|
|
this.eum = new EditorModelManager();
|
|
|
|
|
this.fileview = this.find("fileview") as GUI.tag.FileViewTag;
|
|
|
|
|
this.sidebar = this.find("sidebar") as GUI.tag.VBoxTag;
|
2021-06-13 11:06:49 +02:00
|
|
|
this.sidebar_container = this.find("sidebar-tab-container") as GUI.tag.TabContainerTag;
|
2021-04-18 18:49:53 +02:00
|
|
|
this.bottombar = this.find("bottombar") as GUI.tag.TabContainerTag;
|
|
|
|
|
this.langstat = this.find("langstat") as GUI.tag.LabelTag;
|
|
|
|
|
this.editorstat = this.find("editorstat") as GUI.tag.LabelTag;
|
|
|
|
|
this.filestat = this.find("current-file-lbl") as GUI.tag.LabelTag;
|
2021-06-13 11:06:49 +02:00
|
|
|
this.extension_list_view = this.find("extension-list") as GUI.tag.ListViewTag;
|
2021-04-18 18:49:53 +02:00
|
|
|
this.logger = new Logger(this.find("output-tab"));
|
|
|
|
|
|
|
|
|
|
this.split_mode = true;
|
|
|
|
|
|
|
|
|
|
this.fileview.fetch = (path) =>
|
|
|
|
|
new Promise(async function (resolve, reject) {
|
|
|
|
|
let dir: API.VFS.BaseFileHandle;
|
|
|
|
|
if (typeof path === "string") {
|
|
|
|
|
dir = path.asFileHandle();
|
|
|
|
|
} else {
|
|
|
|
|
dir = path;
|
|
|
|
|
}
|
|
|
|
|
try {
|
|
|
|
|
const d = await dir
|
|
|
|
|
.read();
|
|
|
|
|
if (d.error) {
|
|
|
|
|
return reject(d.error);
|
|
|
|
|
}
|
|
|
|
|
return resolve(d.result);
|
|
|
|
|
} catch (e) {
|
|
|
|
|
return reject(__e(e));
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
let file = "Untitled".asFileHandle() as EditorFileHandle;
|
|
|
|
|
if (this.args && this.args.length > 0) {
|
|
|
|
|
this.addRecent(this.args[0].path);
|
|
|
|
|
if (this.args[0].type === "dir") {
|
|
|
|
|
this.currdir = this.args[0].path.asFileHandle() as EditorFileHandle;
|
|
|
|
|
} else {
|
|
|
|
|
file = this.args[0].path.asFileHandle() as EditorFileHandle;
|
|
|
|
|
this.currdir = file.parent();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
if (!this.setting.recent)
|
|
|
|
|
this.setting.recent = [];
|
2021-06-13 11:06:49 +02:00
|
|
|
if(!this.setting.extension_repos)
|
|
|
|
|
this.setting.extension_repos = [DEFAULT_REPO];
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
const wrapper = this.find("wrapper");
|
|
|
|
|
$(wrapper).css('visibility', 'hidden');
|
2021-04-19 16:48:53 +02:00
|
|
|
|
|
|
|
|
monaco.editor.setTheme("vs-dark");
|
|
|
|
|
// add editor instance
|
2021-11-22 18:51:29 +01:00
|
|
|
const left_editor = new OS.application.MonacoEditorModel(
|
2021-04-19 16:48:53 +02:00
|
|
|
this,
|
|
|
|
|
this.find("left-tabbar") as GUI.tag.TabBarTag,
|
2021-11-22 18:51:29 +01:00
|
|
|
this.find("left-editorarea")) as BaseEditorModel;
|
|
|
|
|
const right_editor = new OS.application.MonacoEditorModel(
|
2021-04-19 16:48:53 +02:00
|
|
|
this,
|
|
|
|
|
this.find("right-tabbar") as GUI.tag.TabBarTag,
|
2021-11-22 18:51:29 +01:00
|
|
|
this.find("right-editorarea")) as BaseEditorModel;
|
|
|
|
|
left_editor.setTabbarCtxMenu(this.tb_ctxmenu, (tab, data) => this.tabbar_ctx_menu_handle(tab,data, left_editor));
|
|
|
|
|
right_editor.setTabbarCtxMenu(this.tb_ctxmenu, (tab, data) => this.tabbar_ctx_menu_handle(tab,data, right_editor));
|
|
|
|
|
this.eum.add(left_editor).add(right_editor);
|
2021-04-19 16:48:53 +02:00
|
|
|
this.eum.onstatuschange = (st) =>
|
|
|
|
|
this.updateStatus(st)
|
|
|
|
|
$(wrapper).css('visibility', 'visible');
|
|
|
|
|
this.setup();
|
|
|
|
|
this.eum.active.openFile(file);
|
2021-04-18 18:49:53 +02:00
|
|
|
}
|
|
|
|
|
|
2021-11-22 18:51:29 +01:00
|
|
|
/**
|
|
|
|
|
* Get the context menu items
|
|
|
|
|
*/
|
|
|
|
|
private get tb_ctxmenu(): GenericObject<any>[]
|
|
|
|
|
{
|
|
|
|
|
return [
|
|
|
|
|
{ text: "__(Close)", id: "close" },
|
2022-08-25 12:41:47 +02:00
|
|
|
{ text: "__(Reload)", id: "reload", shortcut: "A-R"},
|
2021-11-22 18:51:29 +01:00
|
|
|
{ text: "__(Close All)", id: "close-all" },
|
|
|
|
|
{ text: "__(Move to other side)", id: "mv-side" },
|
|
|
|
|
];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
private tabbar_ctx_menu_handle(tab: GUI.tag.ListViewItemTag, data: GenericObject<any>, model: BaseEditorModel): void {
|
|
|
|
|
switch(data.id)
|
|
|
|
|
{
|
|
|
|
|
case "close":
|
|
|
|
|
if(!tab)
|
|
|
|
|
{
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
model.closeTab(tab);
|
|
|
|
|
break;
|
|
|
|
|
case "close-all":
|
|
|
|
|
model.closeAll();
|
|
|
|
|
break;
|
2022-08-25 12:41:47 +02:00
|
|
|
case "reload":
|
|
|
|
|
this.eum.active.reload();
|
|
|
|
|
break;
|
2021-11-22 18:51:29 +01:00
|
|
|
case "mv-side":
|
|
|
|
|
if(!tab)
|
|
|
|
|
{
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
let other_model = this.eum.editors[0];
|
|
|
|
|
if(model == other_model)
|
|
|
|
|
{
|
|
|
|
|
other_model = this.eum.editors[1];
|
|
|
|
|
}
|
|
|
|
|
other_model.openFile(tab.data as EditorFileHandle);
|
|
|
|
|
model.closeTab(tab);
|
|
|
|
|
if(this.split_mode == false)
|
|
|
|
|
{
|
|
|
|
|
this.toggleSplitMode();
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
default:
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2021-04-18 18:49:53 +02:00
|
|
|
/**
|
|
|
|
|
* Set up the text editor
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @returns {void}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private setup(): void {
|
2021-06-13 11:06:49 +02:00
|
|
|
this.sidebar_container.selectedIndex = 0;
|
|
|
|
|
this.extension_list_view.itemtag = "afx-antedit-ext-list-item";
|
2021-04-18 18:49:53 +02:00
|
|
|
this.fileview.onfileopen = (e) => {
|
|
|
|
|
if (!e.data || !e.data.path) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
2021-10-12 11:42:15 +02:00
|
|
|
this.addRecent(e.data.path);
|
2021-04-18 18:49:53 +02:00
|
|
|
if (e.data.type === "dir") {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
return this.eum.active.openFile(
|
|
|
|
|
e.data.path.asFileHandle() as EditorFileHandle
|
|
|
|
|
);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
this.fileview.onfileselect = (e) => {
|
|
|
|
|
if (!e.data || !e.data.path) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
if (e.data.type === "dir") {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
this.eum.active.selectFile(e.data.path);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
this.on("resize", () => this.eum.resize());
|
|
|
|
|
this.on("focus", () => this.eum.active.focus());
|
|
|
|
|
|
|
|
|
|
this.fileview.contextmenuHandle = (e, m) => {
|
2022-07-04 18:11:05 +02:00
|
|
|
let file: API.VFS.BaseFileHandle | API.FileInfoType = this
|
|
|
|
|
.fileview.selectedFile;
|
|
|
|
|
const items = [
|
2021-04-18 18:49:53 +02:00
|
|
|
{ text: "__(New file)", id: "new" },
|
|
|
|
|
{ text: "__(New folder)", id: "newdir" },
|
|
|
|
|
{ text: "__(Rename)", id: "rename" },
|
|
|
|
|
{ text: "__(Delete)", id: "delete" },
|
2021-11-22 18:51:29 +01:00
|
|
|
{ text: "__(Upload)", id: "upload" },
|
2021-04-18 18:49:53 +02:00
|
|
|
];
|
2022-07-04 18:11:05 +02:00
|
|
|
if(file && file.type === "file")
|
|
|
|
|
{
|
|
|
|
|
items.push( { text: "__(Select for compare)", id: "diff-org" });
|
|
|
|
|
items.push( { text: "__(Compare with selected)", id: "diff-mod" });
|
2022-07-04 19:58:51 +02:00
|
|
|
items.push( { text: "__(Open to right)", id: "open-right" });
|
2022-07-04 18:11:05 +02:00
|
|
|
}
|
|
|
|
|
m.items = items;
|
2021-04-18 18:49:53 +02:00
|
|
|
m.onmenuselect = (e) => {
|
|
|
|
|
return this.ctxFileMenuHandle(e);
|
|
|
|
|
};
|
|
|
|
|
return m.show(e);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
this.bindKey("ALT-N", () => this.menuAction("new"));
|
|
|
|
|
this.bindKey("ALT-O", () => this.menuAction("open"));
|
|
|
|
|
this.bindKey("ALT-F", () => this.menuAction("opendir"));
|
|
|
|
|
this.bindKey("CTRL-S", () => this.menuAction("save"));
|
|
|
|
|
this.bindKey("ALT-W", () => this.menuAction("saveas"));
|
2022-08-25 12:41:47 +02:00
|
|
|
this.bindKey("ALT-R", () => this.eum.active.reload());
|
2022-07-05 22:23:38 +02:00
|
|
|
|
|
|
|
|
const list_container = $(".list-container", this.find("editor-main-container"));
|
|
|
|
|
list_container.each((i,el) => {
|
|
|
|
|
$(el).on("wheel", (evt)=>{
|
|
|
|
|
el.scrollLeft += (evt.originalEvent as WheelEvent).deltaY;
|
|
|
|
|
});
|
|
|
|
|
});
|
|
|
|
|
this.on("tab-opened", (el) => {
|
|
|
|
|
const container = $(el).closest(".list-container");
|
|
|
|
|
if(container && container[0])
|
|
|
|
|
container[0].scrollLeft = container[0].scrollWidth;
|
|
|
|
|
});
|
2021-04-18 18:49:53 +02:00
|
|
|
this.fileview.ondragndrop = (e) => {
|
2022-06-03 19:30:11 +02:00
|
|
|
if(!e.data.from || !e.data.to)
|
|
|
|
|
{
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
const src = e.data.from[0].data.path.asFileHandle();
|
2021-04-18 18:49:53 +02:00
|
|
|
const des = e.data.to.data.path;
|
|
|
|
|
return src
|
|
|
|
|
.move(`${des}/${src.basename}`)
|
|
|
|
|
.then(function (d: any) {
|
|
|
|
|
const p1 = des;
|
|
|
|
|
const p2 = src.parent().path;
|
|
|
|
|
if (p1.length < p2.length) {
|
|
|
|
|
e.data.to.update(p1);
|
|
|
|
|
(e.data
|
2022-06-03 19:30:11 +02:00
|
|
|
.from[0] as GUI.tag.TreeViewTag).parent.update(
|
2021-04-18 18:49:53 +02:00
|
|
|
p2
|
|
|
|
|
);
|
|
|
|
|
} else {
|
|
|
|
|
(e.data
|
2022-06-03 19:30:11 +02:00
|
|
|
.from[0] as GUI.tag.TreeViewTag).parent.update(
|
2021-04-18 18:49:53 +02:00
|
|
|
p2
|
|
|
|
|
);
|
|
|
|
|
e.data.to.update(p1);
|
|
|
|
|
}
|
|
|
|
|
})
|
|
|
|
|
.catch((e: Error) =>
|
|
|
|
|
this.error(__("Unable to move file/folder"), e)
|
|
|
|
|
);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
this.on("filechange", (data) => {
|
|
|
|
|
let { path } = data.file;
|
|
|
|
|
if (data.type === "file") {
|
|
|
|
|
({ path } = data.file.parent());
|
|
|
|
|
}
|
|
|
|
|
return this.fileview.update(path);
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
(this.find("logger-clear") as GUI.tag.ButtonTag).onbtclick = () => {
|
|
|
|
|
this.logger.clear()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (this.setting.showBottomBar === undefined) {
|
|
|
|
|
this.setting.showBottomBar = false;
|
|
|
|
|
}
|
2021-05-01 12:17:00 +02:00
|
|
|
const extension = {
|
|
|
|
|
name: "Editor",
|
|
|
|
|
text: __("Editor")
|
|
|
|
|
};
|
|
|
|
|
const action = {
|
|
|
|
|
name: "langmode",
|
|
|
|
|
text: __("Change language mode"),
|
|
|
|
|
shortcut: 'CTRL-K'
|
|
|
|
|
}
|
|
|
|
|
this.eum.addAction(extension, action, async (e) =>
|
|
|
|
|
{
|
|
|
|
|
try{
|
2022-07-04 18:11:05 +02:00
|
|
|
|
2021-05-01 12:17:00 +02:00
|
|
|
const data = await this.openDialog("SelectionDialog", {
|
|
|
|
|
"title": __("Select language"),
|
|
|
|
|
data: this.eum.active.getModes()
|
|
|
|
|
});
|
|
|
|
|
this.eum.active.setMode(data);
|
|
|
|
|
}catch(e)
|
|
|
|
|
{
|
2022-07-04 18:11:05 +02:00
|
|
|
console.log(e);
|
2021-05-01 12:17:00 +02:00
|
|
|
}
|
|
|
|
|
});
|
2021-06-13 11:06:49 +02:00
|
|
|
$(this.find("txt_ext_search")).keyup((e) => this.extension_search(e));
|
2021-04-18 18:49:53 +02:00
|
|
|
this.loadExtensionMetaData();
|
|
|
|
|
this.toggleSideBar();
|
|
|
|
|
this.toggleSplitMode();
|
2023-06-20 17:43:31 +02:00
|
|
|
//this.applyAllSetting();
|
2021-04-18 18:49:53 +02:00
|
|
|
}
|
|
|
|
|
|
2021-06-13 11:06:49 +02:00
|
|
|
/**
|
|
|
|
|
* Search an extension from the extension list
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @meberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private extension_search(e: JQuery.KeyUpEvent): void
|
|
|
|
|
{
|
|
|
|
|
let k: string;
|
|
|
|
|
const search_box = this.find("txt_ext_search") as HTMLInputElement;
|
|
|
|
|
switch (e.which) {
|
|
|
|
|
case 37:
|
|
|
|
|
return e.preventDefault();
|
|
|
|
|
case 38:
|
|
|
|
|
this.extension_list_view.selectPrev();
|
|
|
|
|
return e.preventDefault();
|
|
|
|
|
case 39:
|
|
|
|
|
return e.preventDefault();
|
|
|
|
|
case 40:
|
|
|
|
|
this.extension_list_view.selectNext();
|
|
|
|
|
return e.preventDefault();
|
|
|
|
|
case 13:
|
|
|
|
|
return e.preventDefault();
|
|
|
|
|
default:
|
|
|
|
|
var text = search_box.value;
|
|
|
|
|
var result = [];
|
|
|
|
|
if (text.length === 2) {
|
|
|
|
|
this.extension_list_view.data = this.extension_meta_data;
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
if (text.length < 3) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
var term = new RegExp(text, "i");
|
|
|
|
|
for (k in this.extension_meta_data) {
|
|
|
|
|
if (this.extension_meta_data[k].text.match(term)) {
|
|
|
|
|
result.push(this.extension_meta_data[k]);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
this.extension_list_view.data = result;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Refresh editor extensions list on the side bar
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private refreshExtensionRepositories(): void {
|
|
|
|
|
const promises = [];
|
|
|
|
|
const meta_file = `${this.meta().path}/extensions/extensions.json`;
|
|
|
|
|
for(let url of [meta_file].concat(this.setting.extension_repos))
|
|
|
|
|
{
|
|
|
|
|
promises.push(url.asFileHandle().read('json'));
|
|
|
|
|
}
|
|
|
|
|
Promise.all(promises)
|
|
|
|
|
.then((results) => {
|
|
|
|
|
const meta = {};
|
|
|
|
|
for(let el of results.shift())
|
|
|
|
|
{
|
|
|
|
|
meta[el.name] = el;
|
|
|
|
|
}
|
|
|
|
|
this.extension_meta_data = [];
|
|
|
|
|
for(let result of results)
|
|
|
|
|
{
|
|
|
|
|
for(let ext of result)
|
|
|
|
|
{
|
|
|
|
|
if(meta[ext.name])
|
|
|
|
|
{
|
|
|
|
|
ext.installed = meta[ext.name].version;
|
|
|
|
|
}
|
|
|
|
|
ext.install_action = (url: string,callback: (arg0: string) => void) => {
|
|
|
|
|
(new Antedit.extensions["EditorExtensionMaker"](this))
|
|
|
|
|
.installZip(url)
|
|
|
|
|
.then(() => {
|
|
|
|
|
this.loadExtensionMetaData();
|
|
|
|
|
if(callback)
|
|
|
|
|
{
|
|
|
|
|
callback(ext.version);
|
|
|
|
|
}
|
|
|
|
|
this.notify(__("Extension '{0}' installed", ext.text));
|
|
|
|
|
})
|
|
|
|
|
.catch((error: Error) => {
|
|
|
|
|
this.error(__("Unable to install '{0}': {1}", ext.text , error.toString()), error);
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
ext.uninstall_action = (name: string, callback: () => void) => {
|
|
|
|
|
(new Antedit.extensions["EditorExtensionMaker"](this))
|
|
|
|
|
.uninstall(name)
|
|
|
|
|
.then(() => {
|
|
|
|
|
this.loadExtensionMetaData();
|
|
|
|
|
if(callback)
|
|
|
|
|
{
|
|
|
|
|
callback();
|
|
|
|
|
}
|
|
|
|
|
this.notify(__("Extension '{0}' uninstalled", name));
|
|
|
|
|
})
|
|
|
|
|
.catch((error: Error) => {
|
|
|
|
|
this.error(__("Unable to uninstall '{0}': {1}", name , error.toString()), error);
|
|
|
|
|
});
|
|
|
|
|
};
|
|
|
|
|
this.extension_meta_data.push(ext);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
this.extension_list_view.data = this.extension_meta_data;
|
|
|
|
|
})
|
|
|
|
|
.catch((error) => {
|
|
|
|
|
this.error(__("Unable to read extension from repositories: {0}", error.toString()), error);
|
|
|
|
|
});
|
|
|
|
|
}
|
2021-04-18 18:49:53 +02:00
|
|
|
/**
|
|
|
|
|
* Update the editor status bar
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private updateStatus(stat: GenericObject<any> = undefined): void {
|
|
|
|
|
if (!stat)
|
|
|
|
|
stat = this.eum.active.getEditorStatus();
|
|
|
|
|
this.editorstat.text = __(
|
|
|
|
|
"Row {0}, col {1}, lines: {2}",
|
|
|
|
|
stat.row ,
|
|
|
|
|
stat.column,
|
|
|
|
|
stat.line
|
|
|
|
|
);
|
|
|
|
|
if (stat.langmode)
|
|
|
|
|
this.langstat.text = stat.langmode.text;
|
|
|
|
|
this.filestat.text = stat.file
|
|
|
|
|
let win = this.scheme as GUI.tag.WindowTag;
|
|
|
|
|
if (win.apptitle != stat.file)
|
|
|
|
|
win.apptitle = stat.file;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Show or hide the SideBar
|
|
|
|
|
*
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
toggleSideBar(): void {
|
|
|
|
|
if (this.currdir) {
|
|
|
|
|
$(this.sidebar).show();
|
|
|
|
|
this.fileview.path = this.currdir.path;
|
2021-06-13 11:06:49 +02:00
|
|
|
this.refreshExtensionRepositories();
|
2021-04-18 18:49:53 +02:00
|
|
|
} else {
|
|
|
|
|
$(this.sidebar).hide();
|
|
|
|
|
}
|
|
|
|
|
this.trigger("resize");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
showOutput(toggle: boolean = false): void {
|
|
|
|
|
if (toggle)
|
2023-06-20 17:43:31 +02:00
|
|
|
this.setting.showBottomBar = true;
|
2021-04-18 18:49:53 +02:00
|
|
|
this.bottombar.selectedIndex = 0;
|
|
|
|
|
}
|
2022-07-04 18:11:05 +02:00
|
|
|
|
|
|
|
|
openDiff(files: EditorFileHandle[])
|
|
|
|
|
{
|
|
|
|
|
const diff_file = new API.VFS.DiffEditorFileHandle(files);
|
|
|
|
|
this.eum.active.openFile(diff_file as EditorFileHandle);
|
|
|
|
|
}
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Apply [[showBottomBar]] from user setting value
|
|
|
|
|
*
|
|
|
|
|
* @protected
|
|
|
|
|
* @param {string} k
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
protected applySetting(k: string): void {
|
|
|
|
|
if (k == "showBottomBar") {
|
|
|
|
|
this.showBottomBar(this.setting.showBottomBar);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Show or hide the bottom bar and
|
|
|
|
|
* save the value to user setting
|
|
|
|
|
*
|
|
|
|
|
* @param {boolean} v
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
public showBottomBar(v: boolean): void {
|
|
|
|
|
if (v) {
|
|
|
|
|
$(this.bottombar).show();
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
$(this.bottombar).hide();
|
|
|
|
|
}
|
|
|
|
|
this.trigger("resize");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* toggle the bottom bar
|
|
|
|
|
*
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private toggleBottomBar(): void {
|
2023-06-20 17:43:31 +02:00
|
|
|
this.setting.showBottomBar = !this.setting.showBottomBar;
|
2021-04-18 18:49:53 +02:00
|
|
|
}
|
2021-06-13 11:06:49 +02:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Toogle split mode
|
|
|
|
|
*
|
|
|
|
|
* #memberof Antedit
|
|
|
|
|
**/
|
2021-04-18 18:49:53 +02:00
|
|
|
private toggleSplitMode(): void {
|
|
|
|
|
const right_pannel = this.find("right-panel");
|
|
|
|
|
const right_editor = this.eum.editors[1];
|
|
|
|
|
const left_editor = this.eum.editors[0];
|
|
|
|
|
if (this.split_mode) {
|
|
|
|
|
// before hide check if there is dirty files
|
|
|
|
|
if (right_editor.isDirty()) {
|
|
|
|
|
this.notify(__("Unable to disable split view: Please save changes of modified files on the right panel"));
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
right_editor.closeAll();
|
|
|
|
|
$(right_pannel).hide();
|
|
|
|
|
this.split_mode = false;
|
|
|
|
|
left_editor.focus();
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
$(right_pannel).show();
|
|
|
|
|
this.split_mode = true;
|
|
|
|
|
right_editor.openFile("Untitled".asFileHandle() as EditorFileHandle);
|
|
|
|
|
right_editor.focus();
|
|
|
|
|
}
|
|
|
|
|
this.trigger("resize");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* File menu definition
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @returns {GUI.BasicItemType}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private fileMenu(): GUI.BasicItemType {
|
|
|
|
|
const recent = this.setting.recent.map((i: string) => {
|
|
|
|
|
return { text: i };
|
|
|
|
|
});
|
|
|
|
|
return {
|
|
|
|
|
text: __("File"),
|
|
|
|
|
nodes: [
|
|
|
|
|
{ text: __("New"), dataid: "new", shortcut: "A-N" },
|
|
|
|
|
{
|
|
|
|
|
text: __("Open Recent"),
|
|
|
|
|
dataid: "recent",
|
|
|
|
|
nodes: recent,
|
|
|
|
|
onchildselect: (
|
2023-06-01 16:14:35 +02:00
|
|
|
e: GUI.TagEventType<GUI.tag.StackMenuEventData>,
|
2021-04-18 18:49:53 +02:00
|
|
|
r: Antedit
|
|
|
|
|
) => {
|
|
|
|
|
const handle = e.data.item.data.text.asFileHandle();
|
|
|
|
|
handle.onready().then((meta: any) => {
|
|
|
|
|
if (!meta) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
if (meta.type == "dir") {
|
|
|
|
|
this.currdir = handle;
|
|
|
|
|
this.toggleSideBar();
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
this.eum.active.openFile(handle);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
{ text: __("Open"), dataid: "open", shortcut: "A-O" },
|
|
|
|
|
{
|
|
|
|
|
text: __("Open Folder"),
|
|
|
|
|
dataid: "opendir",
|
|
|
|
|
shortcut: "A-F",
|
|
|
|
|
},
|
|
|
|
|
{ text: __("Save"), dataid: "save", shortcut: "C-S" },
|
|
|
|
|
{
|
|
|
|
|
text: __("Save as"),
|
|
|
|
|
dataid: "saveas",
|
|
|
|
|
shortcut: "A-W",
|
|
|
|
|
},
|
|
|
|
|
],
|
|
|
|
|
onchildselect: (
|
2023-06-01 16:14:35 +02:00
|
|
|
e: GUI.TagEventType<GUI.tag.StackMenuEventData>,
|
2021-04-18 18:49:53 +02:00
|
|
|
r: Antedit
|
|
|
|
|
) => {
|
|
|
|
|
return this.menuAction(e.data.item.data.dataid, r);
|
|
|
|
|
},
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Context menu definition
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @param {GUI.TagEventType} e
|
|
|
|
|
* @returns {void}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private ctxFileMenuHandle(
|
2023-06-01 16:14:35 +02:00
|
|
|
e: GUI.TagEventType<GUI.tag.StackMenuEventData>
|
2021-04-18 18:49:53 +02:00
|
|
|
): void {
|
2023-06-01 16:14:35 +02:00
|
|
|
const el = e.data.item;
|
2021-04-18 18:49:53 +02:00
|
|
|
if (!el) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
const data = el.data;
|
|
|
|
|
if (!data) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
let file: API.VFS.BaseFileHandle | API.FileInfoType = this
|
|
|
|
|
.fileview.selectedFile;
|
|
|
|
|
let dir = this.currdir;
|
|
|
|
|
if (file && file.type === "dir") {
|
|
|
|
|
dir = file.path.asFileHandle();
|
|
|
|
|
}
|
|
|
|
|
if (file && file.type === "file") {
|
|
|
|
|
dir = file.path.asFileHandle().parent();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
switch (data.id) {
|
|
|
|
|
case "new":
|
|
|
|
|
if (!dir) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
this.openDialog("PromptDialog", {
|
|
|
|
|
title: "__(New file)",
|
|
|
|
|
label: "__(File name)",
|
|
|
|
|
}).then(async (d) => {
|
|
|
|
|
const fp = `${dir.path}/${d}`.asFileHandle();
|
|
|
|
|
try {
|
|
|
|
|
const r = await fp.write("text/plain");
|
|
|
|
|
return this.fileview.update(dir.path);
|
|
|
|
|
} catch (e) {
|
|
|
|
|
return this.error(
|
|
|
|
|
__("Fail to create: {0}", e.stack),
|
2021-11-22 18:51:29 +01:00
|
|
|
__e(e)
|
2021-04-18 18:49:53 +02:00
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case "newdir":
|
|
|
|
|
if (!dir) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
this.openDialog("PromptDialog", {
|
|
|
|
|
title: "__(New folder)",
|
|
|
|
|
label: "__(Folder name)",
|
|
|
|
|
}).then(async (d) => {
|
|
|
|
|
try {
|
|
|
|
|
const r = await dir.mk(d);
|
|
|
|
|
return this.fileview.update(dir.path);
|
|
|
|
|
} catch (e) {
|
|
|
|
|
return this.error(
|
|
|
|
|
__("Fail to create: {0}", dir.path),
|
2021-11-22 18:51:29 +01:00
|
|
|
__e(e)
|
2021-04-18 18:49:53 +02:00
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case "rename":
|
|
|
|
|
if (!file) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
this.openDialog("PromptDialog", {
|
|
|
|
|
title: "__(Rename)",
|
|
|
|
|
label: "__(File name)",
|
|
|
|
|
value: file.filename,
|
|
|
|
|
}).then(async (d) => {
|
|
|
|
|
if (d === file.filename) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
file = file.path.asFileHandle();
|
|
|
|
|
dir = file.parent();
|
|
|
|
|
try {
|
|
|
|
|
const r = await file.move(`${dir.path}/${d}`);
|
|
|
|
|
return this.fileview.update(dir.path);
|
|
|
|
|
} catch (e) {
|
|
|
|
|
return this.error(
|
|
|
|
|
__("Fail to rename: {0}", file.path),
|
2021-11-22 18:51:29 +01:00
|
|
|
__e(e)
|
2021-04-18 18:49:53 +02:00
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case "delete":
|
|
|
|
|
if (!file) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
this.openDialog("YesNoDialog", {
|
|
|
|
|
title: "__(Delete)",
|
|
|
|
|
iconclass: "fa fa-question-circle",
|
|
|
|
|
text: __(
|
|
|
|
|
"Do you really want to delete: {0}?",
|
|
|
|
|
file.filename
|
|
|
|
|
),
|
|
|
|
|
}).then(async (d) => {
|
|
|
|
|
if (!d) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
file = file.path.asFileHandle();
|
|
|
|
|
dir = file.parent();
|
|
|
|
|
try {
|
|
|
|
|
const r = await file.remove();
|
|
|
|
|
return this.fileview.update(dir.path);
|
|
|
|
|
} catch (e) {
|
|
|
|
|
return this.error(
|
|
|
|
|
__("Fail to delete: {0}", file.path),
|
2021-11-22 18:51:29 +01:00
|
|
|
__e(e)
|
2021-04-18 18:49:53 +02:00
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
break;
|
2021-11-22 18:51:29 +01:00
|
|
|
case "upload":
|
|
|
|
|
if(!dir)
|
|
|
|
|
{
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
dir.upload()
|
|
|
|
|
.then((d) => {
|
|
|
|
|
this.notify(__("File uploaded to: {0}", dir.path));
|
|
|
|
|
return this.fileview.update(dir.path);
|
|
|
|
|
})
|
|
|
|
|
.catch((e) => this.error(__("Unable to upload file: {e}", e.toString()), __e(e)));
|
|
|
|
|
break;
|
2022-07-04 18:11:05 +02:00
|
|
|
case "diff-org":
|
|
|
|
|
if(!file) return;
|
|
|
|
|
this.diff_buffer[0] = file.path.asFileHandle() as EditorFileHandle;
|
|
|
|
|
break;
|
|
|
|
|
case "diff-mod":
|
|
|
|
|
if(!file) return;
|
|
|
|
|
if(!this.diff_buffer[0]) return;
|
|
|
|
|
this.diff_buffer[1] = file.path.asFileHandle() as EditorFileHandle;
|
|
|
|
|
this.openDiff(this.diff_buffer);
|
|
|
|
|
break;
|
2022-07-04 19:58:51 +02:00
|
|
|
case "open-right":
|
|
|
|
|
if(!file || file.type === "dir") return;
|
|
|
|
|
if(this.split_mode == false)
|
|
|
|
|
{
|
|
|
|
|
this.toggleSplitMode();
|
|
|
|
|
}
|
|
|
|
|
this.eum.editors[1].openFile(file.path.asFileHandle() as EditorFileHandle);
|
|
|
|
|
break;
|
2021-04-18 18:49:53 +02:00
|
|
|
default:
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Add a file to recent files setting
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @param {string} file
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private addRecent(file: string): void {
|
|
|
|
|
if (!this.setting.recent)
|
|
|
|
|
this.setting.recent = [];
|
|
|
|
|
if (this.setting.recent.includes(file)) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
2021-10-12 11:42:15 +02:00
|
|
|
this.setting.recent.unshift(file);
|
2021-04-18 18:49:53 +02:00
|
|
|
if(this.setting.recent.length > 10)
|
|
|
|
|
this.setting.recent = this.setting.recent.slice(0, 10);
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Menu action definition
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @param {string} dataid
|
|
|
|
|
* @param {Antedit} [r]
|
|
|
|
|
* @returns {void}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
private menuAction(dataid: string, r?: Antedit): any {
|
|
|
|
|
let me: Antedit = this;
|
|
|
|
|
if (r) {
|
|
|
|
|
me = r;
|
|
|
|
|
}
|
|
|
|
|
switch (dataid) {
|
|
|
|
|
case "new":
|
|
|
|
|
return me.eum.active.openFile("Untitled".asFileHandle() as EditorFileHandle);
|
|
|
|
|
case "open":
|
|
|
|
|
return me
|
|
|
|
|
.openDialog("FileDialog", {
|
|
|
|
|
title: __("Open file"),
|
|
|
|
|
mimes: Array.from(me.meta().mimes).filter(
|
|
|
|
|
(v) => v !== "dir"
|
|
|
|
|
),
|
|
|
|
|
})
|
|
|
|
|
.then((f: API.FileInfoType) => {
|
|
|
|
|
this.addRecent(f.file.path);
|
|
|
|
|
me.eum.active.openFile(f.file.path.asFileHandle());
|
|
|
|
|
});
|
|
|
|
|
case "opendir":
|
|
|
|
|
return me
|
|
|
|
|
.openDialog("FileDialog", {
|
|
|
|
|
title: __("Open folder"),
|
|
|
|
|
mimes: ["dir"],
|
|
|
|
|
})
|
|
|
|
|
.then(function (f: API.FileInfoType) {
|
|
|
|
|
me.addRecent(f.file.path);
|
|
|
|
|
me.currdir = f.file.path.asFileHandle();
|
|
|
|
|
return me.toggleSideBar();
|
|
|
|
|
});
|
|
|
|
|
case "save":
|
|
|
|
|
return me.eum.active.save();
|
|
|
|
|
|
|
|
|
|
case "saveas":
|
|
|
|
|
return me.eum.active.saveAs();
|
|
|
|
|
default:
|
|
|
|
|
return console.log(dataid);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Cleanup the editor before exiting.
|
|
|
|
|
*
|
|
|
|
|
* @param {BaseEvent} evt
|
|
|
|
|
* @returns {void}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
cleanup(evt: BaseEvent): void {
|
|
|
|
|
let v: GenericObject<any>;
|
|
|
|
|
const dirties = this.eum.dirties();
|
|
|
|
|
if (dirties.length === 0) {
|
|
|
|
|
// cleanup all extension
|
|
|
|
|
for (let k in this.extensions) {
|
|
|
|
|
if (this.extensions[k] && this.extensions[k].cleanup) {
|
|
|
|
|
this.extensions[k].cleanup();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
evt.preventDefault();
|
|
|
|
|
this.openDialog("YesNoDialog", {
|
|
|
|
|
title: "__(Quit)",
|
|
|
|
|
text: __(
|
|
|
|
|
"Ignore all unsaved files: {0} ?",
|
|
|
|
|
(() => {
|
|
|
|
|
const result1 = [];
|
|
|
|
|
for (v of Array.from(dirties)) {
|
|
|
|
|
result1.push(v.filename);
|
|
|
|
|
}
|
|
|
|
|
return result1;
|
|
|
|
|
})().join(", ")
|
|
|
|
|
),
|
|
|
|
|
}).then((d) => {
|
|
|
|
|
if (d) {
|
|
|
|
|
for (v of Array.from(dirties)) {
|
|
|
|
|
v.dirty = false;
|
|
|
|
|
}
|
|
|
|
|
return this.quit(false);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Application menu definition
|
|
|
|
|
*
|
|
|
|
|
* @returns {GUI.BasicItemType[]}
|
|
|
|
|
* @memberof Antedit
|
|
|
|
|
*/
|
|
|
|
|
menu(): GUI.BasicItemType[] {
|
|
|
|
|
return [
|
|
|
|
|
this.fileMenu(),
|
|
|
|
|
{
|
|
|
|
|
text: "__(View)",
|
|
|
|
|
nodes: [
|
|
|
|
|
{
|
|
|
|
|
text: "__(Toggle bottom bar)",
|
|
|
|
|
dataid: "bottombar"
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
text: "__(Toggle split view)",
|
|
|
|
|
dataid: "splitview"
|
|
|
|
|
}
|
|
|
|
|
],
|
|
|
|
|
onchildselect: (
|
2023-06-01 16:14:35 +02:00
|
|
|
e: GUI.TagEventType<GUI.tag.StackMenuEventData>,
|
2021-04-18 18:49:53 +02:00
|
|
|
r: EditorFileHandle
|
|
|
|
|
) => {
|
|
|
|
|
switch (e.data.item.data.dataid) {
|
|
|
|
|
case "bottombar":
|
|
|
|
|
return this.toggleBottomBar();
|
|
|
|
|
|
|
|
|
|
case "splitview":
|
|
|
|
|
return this.toggleSplitMode();
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
default:
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
r
|
|
|
|
|
},
|
|
|
|
|
},
|
|
|
|
|
];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Load the extension meta data from `extension.json` file
|
|
|
|
|
*
|
|
|
|
|
* @memberof AntEdit
|
|
|
|
|
*/
|
|
|
|
|
loadExtensionMetaData(): void {
|
|
|
|
|
this.loadExtensionMetaFromFile(`${this.meta().path}/extensions/extensions.json`)
|
|
|
|
|
.catch((e) => {
|
|
|
|
|
return this.error(
|
|
|
|
|
__("Cannot load extension meta data"),
|
|
|
|
|
e
|
|
|
|
|
);
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Load extension meta-data from specific file
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @param {string} path
|
|
|
|
|
* @return {*} {Promise<void>}
|
|
|
|
|
* @memberof AntEdit
|
|
|
|
|
*/
|
|
|
|
|
private loadExtensionMetaFromFile(path: string | API.VFS.BaseFileHandle): Promise<void> {
|
|
|
|
|
return new Promise((resolve, reject) => {
|
|
|
|
|
path
|
|
|
|
|
.asFileHandle()
|
|
|
|
|
.read("json")
|
|
|
|
|
.then((d: GenericObject<any>[]) => {
|
|
|
|
|
for (let extension of d) {
|
|
|
|
|
for(let act of extension.actions)
|
|
|
|
|
{
|
|
|
|
|
this.eum.addAction(extension, act, (e_name, a_name) => {
|
|
|
|
|
this.loadAndRunExtensionAction(e_name, a_name, extension.root);
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
resolve();
|
|
|
|
|
})
|
|
|
|
|
.catch((e) => {
|
|
|
|
|
reject(__e(e));
|
|
|
|
|
});
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Load extension then run an action
|
|
|
|
|
*
|
|
|
|
|
* @param name extension name
|
|
|
|
|
* @param action action name
|
|
|
|
|
* @memberof AntEdit
|
|
|
|
|
*/
|
|
|
|
|
loadAndRunExtensionAction(name: string, action: string, root?:string): void {
|
|
|
|
|
//verify if the extension is load
|
|
|
|
|
if (!Antedit.extensions[name]) {
|
|
|
|
|
//load the extension
|
|
|
|
|
let path = `${this.meta().path}/extensions/${name}/main.js`;
|
|
|
|
|
if (root)
|
|
|
|
|
path = `${root}/main.js`;
|
|
|
|
|
this._api
|
|
|
|
|
.requires(path, true)
|
|
|
|
|
.then(() => this.runExtensionAction(name, action))
|
|
|
|
|
.catch((e) => {
|
|
|
|
|
return this.error(
|
|
|
|
|
__("unable to load extension: {0}", name),
|
|
|
|
|
e
|
|
|
|
|
);
|
|
|
|
|
});
|
|
|
|
|
} else {
|
|
|
|
|
this.runExtensionAction(name, action);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Run an extension action from the command palette
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @param {string} name extension name
|
|
|
|
|
* @param {string} action action name
|
|
|
|
|
* @returns {void}
|
|
|
|
|
* @memberof AntEdit
|
|
|
|
|
*/
|
|
|
|
|
private runExtensionAction(name: string, action: string): void {
|
|
|
|
|
if (!this.extensions[name]) {
|
|
|
|
|
if (!Antedit.extensions[name]) {
|
|
|
|
|
return this.error(
|
|
|
|
|
__("Unable to find extension: {0}", name)
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
this.extensions[name] = new Antedit.extensions[name](this);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (!this.extensions[name][action]) {
|
|
|
|
|
return this.error(__("Unable to find action: {0}", action));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this.extensions[name].preload()
|
|
|
|
|
.then(() => this.extensions[name][action]())
|
|
|
|
|
.catch((e: Error) => {
|
|
|
|
|
return this.error(__("Unable to preload extension"), e);
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Helper class to manager several instances
|
|
|
|
|
* of editor models
|
|
|
|
|
*
|
|
|
|
|
* @class EditorModelManager
|
|
|
|
|
*/
|
|
|
|
|
class EditorModelManager {
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Referent to the active editor model
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {BaseEditorModel}
|
|
|
|
|
* @memberof EditorModelManager
|
|
|
|
|
*/
|
|
|
|
|
private active_editor: BaseEditorModel;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Store a list of editor models
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {BaseEditorModel[]}
|
|
|
|
|
* @memberof EditorModelManager
|
|
|
|
|
*/
|
|
|
|
|
private models: BaseEditorModel[];
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Creates an instance of EditorModelManager.
|
|
|
|
|
* @memberof EditorModelManager
|
|
|
|
|
*/
|
|
|
|
|
constructor() {
|
|
|
|
|
this.active_editor = undefined;
|
|
|
|
|
this.models = [];
|
|
|
|
|
}
|
|
|
|
|
|
2021-04-20 17:36:01 +02:00
|
|
|
get editors(): OS.application.BaseEditorModel[] {
|
2021-04-18 18:49:53 +02:00
|
|
|
return this.models;
|
|
|
|
|
}
|
|
|
|
|
set contextmenuHandle(cb: (e: any, m: any) => void) {
|
|
|
|
|
for (let ed of this.models) {
|
|
|
|
|
ed.contextmenuHandle = cb;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Get the active editor model
|
|
|
|
|
*
|
|
|
|
|
* @readonly
|
|
|
|
|
* @type {BaseEditorModel}
|
|
|
|
|
* @memberof EditorModelManager
|
|
|
|
|
*/
|
|
|
|
|
get active(): BaseEditorModel {
|
|
|
|
|
return this.active_editor;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Add a model to the manager
|
|
|
|
|
*
|
|
|
|
|
* @param {BaseEditorModel} model
|
|
|
|
|
* @memberof EditorModelManager
|
|
|
|
|
*/
|
|
|
|
|
add(model: BaseEditorModel): EditorModelManager {
|
|
|
|
|
this.models.push(model);
|
|
|
|
|
if (!this.active_editor)
|
|
|
|
|
this.active_editor = model;
|
|
|
|
|
model.on("focus", () => {
|
|
|
|
|
this.active_editor = model;
|
|
|
|
|
});
|
|
|
|
|
return this;
|
|
|
|
|
}
|
|
|
|
|
|
2021-06-13 11:06:49 +02:00
|
|
|
/**
|
|
|
|
|
* Add an action to the editor
|
|
|
|
|
*
|
|
|
|
|
* @param {GenericObject<any>} extension
|
|
|
|
|
* @param {GenericObject<any>} action
|
|
|
|
|
* @param callback
|
|
|
|
|
* @memberof EditorModelManager
|
|
|
|
|
*/
|
2021-04-18 18:49:53 +02:00
|
|
|
addAction(extension: GenericObject<any>, action: GenericObject<any>, callback): void {
|
|
|
|
|
const ed_action = {
|
|
|
|
|
id: `${extension.name}:${action.name}`,
|
|
|
|
|
label: `${extension.text.__()}: ${action.text.__()}`,
|
2021-04-21 11:37:58 +02:00
|
|
|
keybindings: [],
|
2021-04-18 18:49:53 +02:00
|
|
|
precondition: null,
|
|
|
|
|
keybindingContext: null,
|
|
|
|
|
|
|
|
|
|
contextMenuGroupId: extension.name,
|
|
|
|
|
//contextMenuOrder: 1.5,
|
|
|
|
|
run: () => callback(extension.name, action.name)
|
|
|
|
|
};
|
2021-04-21 11:37:58 +02:00
|
|
|
if(action.shortcut)
|
|
|
|
|
{
|
|
|
|
|
const keys = action.shortcut.split("-");
|
|
|
|
|
let binding: number = 0;
|
|
|
|
|
for(const key of keys)
|
|
|
|
|
{
|
|
|
|
|
switch(key)
|
|
|
|
|
{
|
|
|
|
|
case "CTRL":
|
|
|
|
|
binding = binding | monaco.KeyMod.CtrlCmd;
|
|
|
|
|
break;
|
|
|
|
|
case "ALT":
|
|
|
|
|
binding = binding | monaco.KeyMod.Alt;
|
|
|
|
|
break;
|
|
|
|
|
case "SHIFT":
|
|
|
|
|
binding = binding | monaco.KeyMod.Shift;
|
|
|
|
|
break;
|
|
|
|
|
case "SUPPER":
|
|
|
|
|
binding = binding | monaco.KeyMod.WinCtrl;
|
|
|
|
|
break;
|
|
|
|
|
default:
|
2022-06-06 11:27:46 +02:00
|
|
|
const k = `Key${key}`;
|
2021-04-21 11:37:58 +02:00
|
|
|
if(monaco.KeyCode[k])
|
|
|
|
|
{
|
|
|
|
|
binding = binding | monaco.KeyCode[k];
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
binding = 0;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
if(binding != 0)
|
|
|
|
|
ed_action.keybindings.push(binding);
|
|
|
|
|
}
|
2021-04-18 18:49:53 +02:00
|
|
|
for(let ed of this.models)
|
|
|
|
|
{
|
|
|
|
|
const editor = ed.getEditor();
|
|
|
|
|
if(!editor.getAction(ed_action.id))
|
|
|
|
|
editor.addAction(ed_action);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set onstatuschange(cb: (stat: GenericObject<any>) => void) {
|
|
|
|
|
for (let ed of this.models) {
|
|
|
|
|
ed.onstatuschange = cb;
|
|
|
|
|
}
|
|
|
|
|
}
|
2021-11-22 18:51:29 +01:00
|
|
|
|
2021-04-18 18:49:53 +02:00
|
|
|
|
|
|
|
|
dirties(): EditorFileHandle[] {
|
|
|
|
|
let list = [];
|
|
|
|
|
for (let ed of this.models) {
|
|
|
|
|
list = list.concat(ed.dirties());
|
|
|
|
|
}
|
|
|
|
|
return list;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Resize all editor
|
|
|
|
|
*
|
|
|
|
|
* @memberof EditorModelManager
|
|
|
|
|
*/
|
|
|
|
|
resize(): void {
|
|
|
|
|
for (let ed of this.models) {
|
|
|
|
|
ed.resize();
|
|
|
|
|
}
|
2021-04-13 20:03:53 +02:00
|
|
|
}
|
|
|
|
|
}
|
2021-04-18 18:49:53 +02:00
|
|
|
/**
|
|
|
|
|
* This class handles log output to the Editor output container
|
|
|
|
|
*
|
|
|
|
|
* @class Logger
|
|
|
|
|
*/
|
|
|
|
|
class Logger {
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Referent to the log container
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @type {HTMLElement}
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
private target: HTMLElement;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Creates an instance of Logger.
|
|
|
|
|
* @param {HTMLElement} el target container
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
constructor(el: HTMLElement) {
|
|
|
|
|
this.target = el;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Log level info
|
|
|
|
|
*
|
|
|
|
|
* @param {string|FormattedString} s
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
info(s: string | FormattedString): void {
|
|
|
|
|
this.log("info", s, true);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Log level warning
|
|
|
|
|
*
|
|
|
|
|
* @param {string|FormattedString} s
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
warn(s: string | FormattedString): void {
|
|
|
|
|
this.log("warn", s, true);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Log level error
|
|
|
|
|
*
|
|
|
|
|
* @param {string|FormattedString} s
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
error(s: string | FormattedString): void {
|
|
|
|
|
this.log("error", s, true);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Log a string to target container
|
|
|
|
|
*
|
|
|
|
|
* @private
|
|
|
|
|
* @param {string} c class name of the appended log element
|
|
|
|
|
* @param {string|FormattedString} s log string
|
|
|
|
|
* @param {boolean} showtime define whether the logger should insert datetime prefix
|
|
|
|
|
* in the log string
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
private log(c: string, s: string | FormattedString, showtime: boolean): void {
|
|
|
|
|
let el = $("<pre></pre>")
|
|
|
|
|
.attr("class", `code-pad-log-${c}`);
|
|
|
|
|
if (showtime) {
|
|
|
|
|
let date = new Date();
|
|
|
|
|
let prefix = date.getDate() + "/"
|
|
|
|
|
+ (date.getMonth() + 1) + "/"
|
|
|
|
|
+ date.getFullYear() + " "
|
|
|
|
|
+ date.getHours() + ":"
|
|
|
|
|
+ date.getMinutes() + ":"
|
|
|
|
|
+ date.getSeconds();
|
|
|
|
|
el.text(`[${prefix}]: ${s.__()}`);
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
el.text(s.__());
|
|
|
|
|
}
|
|
|
|
|
$(this.target).append(el);
|
|
|
|
|
$(this.target).scrollTop($(this.target)[0].scrollHeight);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Print a log message without prefix
|
|
|
|
|
*
|
|
|
|
|
* @param {string|FormattedString} s text to print
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
print(s: string | FormattedString): void {
|
2021-12-06 12:30:26 +01:00
|
|
|
if(s.match(/warn/i))
|
|
|
|
|
{
|
|
|
|
|
this.log("warn", s, false);
|
|
|
|
|
}
|
|
|
|
|
else if(s.match(/error/i))
|
|
|
|
|
{
|
|
|
|
|
this.log("error", s, false);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
this.log("info", s, false);
|
|
|
|
|
}
|
2021-04-18 18:49:53 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Empty the log container
|
|
|
|
|
*
|
|
|
|
|
* @memberof Logger
|
|
|
|
|
*/
|
|
|
|
|
clear(): void {
|
|
|
|
|
$(this.target).empty();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Antedit.Logger = Logger;
|
|
|
|
|
|
|
|
|
|
Antedit.dependencies = [
|
2021-04-21 11:37:58 +02:00
|
|
|
"pkg://MonacoCore/path.js",
|
2021-04-19 16:48:53 +02:00
|
|
|
"pkg://MonacoCore/bundle/app.bundle.js"
|
2021-04-18 18:49:53 +02:00
|
|
|
];
|
2021-04-13 20:03:53 +02:00
|
|
|
}
|
2021-04-19 16:48:53 +02:00
|
|
|
}
|
