document some editor constants
[?]
Jun 8, 2023, 4:30 AM
BZHJNMDN4GSB7UU5COPYDMCJURNWKLQK7GXDNJ7QYWMGYHZ3DYDACDependencies
- [2]
MXXCTVXWdocument facilities for buttons on screen - [*]
N2NUGNN4include a brief reference enabling many useful apps - [*]
H5UZI3YNeditor documentation
Change contents
- edit in reference.md at line 233[5.2345][2.18]
Some constants that affect editor behavior:* `Margin_top`, `Margin_left`, `Margin_right` are integers in pixel units thataffect where the editor is drawn on window (it always extends to bottom ofwindow as needed)* `Drawing_padding_top` and `Drawing_padding_bottom` affect spacing arounddrawings. - edit in reference.md at line 241
* Various color constants are represented as tables with r/g/b keys:* `Text_color`, `Cursor_color`, `Highlight_color` for drawing text.* `Stroke_color`, `Current_stroke_color` for line drawings.* `Icon_color` affects the color of the little mode icon on the top right ofa drawing.* `Current_name_background_color` manages the color when naming points using`ctrl+n`.* `Focus_stroke_color` affects the color of a point or line when you hoverover it.* `Help_color` and `Help_background_color` affect the color of online helpwithin line drawings.