package ezjs_ace

  1. Overview
  2. Docs

Module Ezjs_ace.Ace_types

class type token = object ... end

Editor

class type position = object ... end
class type range = object ... end
class type binding = object ... end
class type annotation = object ... end
class type document = object ... end
class type editSession = object ... end
class type selection = object ... end
class type 'a editor = object ... end
class type 'a command = object ... end
class type 'a commandManager = object ... end
class type ace = object ... end
class type keybinding_menu = object ... end

Mode

class type 'a line_tokens = object ... end
class type 'state ace_mode_helpers = object ... end
class type ace_mode = object ... end