jpf 5.0.3 → 5.0.7

package/dist/utilities/html/html.d.ts

@@ -1 +0,0 @@
-export declare function prettifyHtml(html: string): string;

package/dist/utilities/html/html.js

@@ -1,8 +0,0 @@
-import prettify from "html-prettify";
-export function prettifyHtml(html) {
-    if (html) {
-        return prettify(html);
-    }
-    return null;
-}
-//# sourceMappingURL=html.js.map

package/dist/utilities/html/html.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"html.js","sourceRoot":"","sources":["../../../src/utilities/html/html.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,eAAe,CAAC;AAErC,MAAM,UAAU,YAAY,CAAC,IAAY;IACrC,IAAI,IAAI,EAAE;QACN,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;KACzB;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/src/controls/codeMirror/HtmlEditor/HtmlEditor.ts

@@ -1,153 +0,0 @@
-import { View, registerView } from "../../../framework/View";
-import { Properties, ViewModel, extendProperties } from "../../../framework/ViewModel";
-import { unwrap, isObservable } from "knockout";
-import { isObservableProperty, observableProperty, ObservableProperty } from "../../../framework/observable";
-import { EditorView, basicSetup } from "codemirror";
-import { EditorState } from "@codemirror/state";
-import { keymap } from "@codemirror/view";
-import { html } from "@codemirror/lang-html";
-import { indentWithTab } from "@codemirror/commands";
-import { foldAll } from "@codemirror/language";
-import { ButtonView } from "../../html/Button/Button";
-import { prettifyHtml } from "../../../utilities/html/html";
-import { DivView } from "../../html/Div/Div";
-
-export interface HtmlEditorProperties extends Properties {
-    value?: string | ObservableProperty<string>;
-}
-
-export class HtmlEditorView extends View<HtmlEditorProperties> {
-    constructor(properties: HtmlEditorProperties) {
-        super(
-            {
-                tagName: "div",
-                properties: extendProperties(
-                    {
-                        viewType: "HtmlEditor",
-                        attributes: {
-                            tabindex: 1
-                        },
-                        style: {
-                            display: "flex",
-                            flexDirection: "column",
-                            border: "1px solid #a3d0e4"
-                        }
-                    },
-                    properties
-                )
-            }
-        );
-    }
-
-    private editor: EditorView;
-
-
-    build(): void {
-        super.build();
-
-        const viewModel = this.properties;
-        const foldAllButton = new ButtonView({
-            content: "Collapse all",
-            style: {
-                margin: "3px"
-            },
-            eventListeners: {
-                click: {
-                    listener: () => {
-                        foldAll(this.editor);
-                    }
-                }
-            }
-        });
-
-        const formatButton = new ButtonView({
-            content: "Format",
-            style: {
-                margin: "3px"
-            },
-            eventListeners: {
-                click: {
-                    listener: () => {
-                        var formattedHtml = prettifyHtml(this.editor.state.doc.toString());
-                        this.editor.dispatch({ changes: { from: 0, to: this.editor.state.doc.length, insert: formattedHtml } });
-                    }
-                }
-            }
-        });
-
-        const saveButton = new ButtonView({
-            content: "Save",
-            style: {
-                margin: "3px"
-            },
-            eventListeners: {
-                click: {
-                    listener: () => {
-                        if (isObservableProperty(viewModel.value)) {
-                            viewModel.value.set(this.editor.state.doc.toString());
-                        }
-                    }
-                }
-            }
-        });
-
-        const buttons = new DivView({
-            style: {
-                display: "flex"
-            },
-            children: [
-                foldAllButton,
-                formatButton,
-                saveButton
-            ]
-        });
-
-        this.element.appendChild(buttons.render());
-
-        const state = EditorState.create({
-            extensions: [
-                basicSetup,
-                html(),
-                EditorView.lineWrapping,
-                keymap.of([indentWithTab])
-            ]
-        });
-
-        this.editor = new EditorView({
-            state: state,
-            parent: this.element,
-
-        });
-
-        this.editor.dom.style.overflow = "auto";
-
-        //Set the initial value;
-        this.editor.dispatch({ changes: { from: 0, to: this.editor.state.doc.length, insert: unwrap(viewModel.value) as any as string } });
-
-        //Found out if the viewModel property is observable.
-        if (isObservable(viewModel.value)) {
-            this.subscriptions.push(
-                viewModel.value.subscribe((html: string) => {
-                    this.editor.dispatch({ changes: { from: 0, to: this.editor.state.doc.length, insert: html } });
-                })
-            );
-        }
-    }
-}
-
-export function htmlEditorView(properties: HtmlEditorProperties) {
-    return new HtmlEditorView(properties);
-}
-
-export class HtmlEditorViewModel extends ViewModel implements HtmlEditorProperties {
-    constructor(properties: HtmlEditorProperties) {
-        super();
-        this.setProperties(this, properties);
-    }
-    value?: string | ObservableProperty<string>;
-}
-
-registerView(
-    HtmlEditorViewModel,
-    HtmlEditorView
-)

package/src/controls/codeMirror/JsonEditor/JsonEditor.ts

@@ -1,136 +0,0 @@
-import { View, registerView } from "../../../framework/View";
-import { Properties, ViewModel, extendProperties } from "../../../framework/ViewModel";
-import { unwrap, isObservable } from "knockout";
-import { isObservableProperty, observableProperty, ObservableProperty } from "../../../framework/observable";
-import { EditorView, basicSetup } from "codemirror";
-import { EditorState } from "@codemirror/state"
-import { keymap } from "@codemirror/view";
-import { json } from "@codemirror/lang-json";
-import { indentWithTab } from "@codemirror/commands";
-import { foldAll } from "@codemirror/language";
-import { ButtonView } from "../../html/Button/Button";
-import { DivView } from "../../html/Div/Div";
-
-export interface JsonEditorProperties extends Properties {
-    value?: string | ObservableProperty<string>;
-}
-
-export class JsonEditorView extends View<JsonEditorProperties> {
-    constructor(properties: JsonEditorProperties) {
-        super(
-            {
-                tagName: "div",
-                properties: extendProperties(
-                    {
-                        viewType: "JsonEditor",
-                        attributes: {
-                            tabindex: 1
-                        },
-                        style: {
-                            display: "flex",
-                            flexDirection: "column",
-                            border: "1px solid #a3d0e4"
-                        }
-                    },
-                    properties
-                )
-            }
-        );
-    }
-
-    private editor: EditorView;
-
-    build(): void {
-        super.build();
-
-        const viewModel = this.properties;
-        const foldAllButton = new ButtonView({
-            content: "Collapse all",
-            style: {
-                margin: "3px"
-            },
-            eventListeners: {
-                click: {
-                    listener: () => {
-                        foldAll(this.editor);
-                    }
-                }
-            }
-        });
-
-        const saveButton = new ButtonView({
-            content: "Save",
-            style: {
-                margin: "3px"
-            },
-            eventListeners: {
-                click: {
-                    listener: () => {
-                        if (isObservableProperty(viewModel.value)) {
-                            viewModel.value.set(this.editor.state.doc.toString());
-                        }
-                    }
-                }
-            }
-        });
-
-        const buttons = new DivView({
-            style: {
-                display: "flex"
-            },
-            children: [
-                foldAllButton,
-                saveButton
-            ]
-        });
-
-        this.element.appendChild(buttons.render());
-
-        const state = EditorState.create({
-            extensions: [
-                basicSetup,
-                json(),
-                EditorView.lineWrapping,
-                keymap.of([indentWithTab])
-            ]
-        });
-
-        this.editor = new EditorView({
-            state: state,
-            parent: this.element,
-
-        });
-
-        this.editor.dom.style.overflow = "auto";
-
-        //Set the initial value;
-        this.editor.dispatch({ changes: { from: 0, to: this.editor.state.doc.length, insert: unwrap(viewModel.value) as any as string } });
-
-        //Found out if the viewModel property is observable.
-        if (isObservable(viewModel.value)) {
-            this.subscriptions.push(
-                viewModel.value.subscribe((html: string) => {
-                    this.editor.dispatch({ changes: { from: 0, to: this.editor.state.doc.length, insert: html } });
-                })
-            );
-        }
-    }
-}
-
-export function jsonEditorView(properties: JsonEditorProperties) {
-    return new JsonEditorView(properties);
-}
-
-
-export class JsonEditorViewModel extends ViewModel implements JsonEditorProperties {
-    constructor(properties: JsonEditorProperties) {
-        super();
-        this.setProperties(this, properties);
-    }
-    value?: string | ObservableProperty<string>;
-}
-
-registerView(
-    JsonEditorViewModel,
-    JsonEditorView
-)