package tiny_appkits

  1. Overview
  2. Docs
package tiny_appkits
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Emacs_editorSource

Sourcetype undo =
  1. | Inserted of int * int
  2. | Deleted of int * string
  3. | Boundary
Sourcetype buffer = {
  1. name : string;
  2. text : Gap_buffer.t;
  3. point : int;
  4. mark : int option;
  5. file : string option;
  6. modified : bool;
  7. undo : undo list;
  8. undoing : undo list option;
  9. top : int;
  10. mode : string;
}
Sourcetype request =
  1. | Call_interactively of Lisp.t
  2. | Isearch of bool
  3. | Universal_argument
Sourcetype t = {
  1. buffers : buffer list;
  2. disk : (string * string) list;
  3. kill_ring : string list;
  4. message : string;
  5. quit : bool;
  6. request : request option;
}
Sourceval window_height : int
Sourceval current : t -> buffer
Sourceval set_current : buffer -> t -> t
Sourceval make_buffer : ?file:string -> string -> string -> buffer
Sourceval create : disk:(string * string) list -> simple:string -> lisp
Sourceval insert_at : buffer -> int -> string -> buffer
Sourceval delete_range : buffer -> int -> int -> buffer
Sourceval boundary : t -> t
Sourceval line_of : buffer -> int -> int
Sourceval line_start : buffer -> int -> int
Sourceval key_description : string -> string