package ojs_ed
Using file editor in ojs_base applications, common part
Install
Dune Dependency
Authors
Maintainers
Sources
ojs-base-0.8.0.tar.bz2
md5=e706f1f9ec2f935d29c6b6e4832c8bdf
sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30
doc/src/ojs_ed.js/ojs_ace.ml.html
Source file ojs_ace.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102(*********************************************************************************) (* Ojs-base *) (* *) (* Copyright (C) 2014-2021 INRIA. All rights reserved. *) (* *) (* This program is free software; you can redistribute it and/or modify *) (* it under the terms of the GNU General Public License as *) (* published by the Free Software Foundation, version 3 of the License. *) (* *) (* This program is distributed in the hope that it will be useful, *) (* but WITHOUT ANY WARRANTY; without even the implied warranty of *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) (* GNU Library General Public License for more details. *) (* *) (* You should have received a copy of the GNU General Public *) (* License along with this program; if not, write to the Free Software *) (* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA *) (* 02111-1307 USA *) (* *) (* As a special exception, you have permission to link this program *) (* with the OCaml compiler and distribute executables, as long as you *) (* follow the requirements of the GNU GPL in regard to all of the *) (* software in the executable aside from the OCaml compiler. *) (* *) (* Contact: Maxence.Guesdon@inria.fr *) (* *) (*********************************************************************************) open Js_of_ocaml open Js class type undoManager = object end let newUndoManager () = Unsafe.new_obj (Unsafe.pure_js_expr "ace.UndoManager") [| |] class type document = object method on : js_string t -> (unit -> unit) -> unit meth end class type editSession = object method getValue : js_string t meth method setValue : js_string t -> unit meth method getDocument : document t meth method setMode : js_string t -> unit meth method setReadOnly : bool t -> unit meth method setUndoManager : undoManager t -> unit meth method setUseWrapMode : bool t -> unit meth method setUseWorker : bool t -> unit meth end let newEditSession s mode = (Unsafe.new_obj (Unsafe.pure_js_expr "ace.EditSession") [| Unsafe.inject (Js.string s) ; Unsafe.inject (Js.string mode) |] : editSession Js.t) let createEditSession s mode = (Unsafe.new_obj (Unsafe.pure_js_expr "ace.EditSession") [| Unsafe.inject (Js.string s) ; Unsafe.inject (Js.string mode) |] : editSession Js.t) class type renderer = object method setShowGutter : bool t -> unit meth method hScrollBarAlwaysVisible : bool t prop method vScrollBarAlwaysVisible : bool t prop end class type editor = object method setSession : editSession t -> unit meth method getSession : editSession t prop method getValue : js_string t meth method setFontSize : js_string t -> unit meth method setKeyboardHandler : js_string t -> unit meth method setShowFoldWidgets : bool t -> unit meth method renderer : renderer t prop end class type mode = object method mode : js_string t prop end class type modeList = object method getModeForPath : js_string t -> mode t meth end class type ace = object method edit : js_string t -> editor Js.t meth method createEditSession : js_string t -> js_string t -> document meth end let ace = ((Unsafe.pure_js_expr "ace") : ace Js.t) let modeList : modeList Js.t = Js.Unsafe.meth_call ace "require" [| Unsafe.inject (Js.string "ace/ext/modelist") |]