diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-06-07 21:30:17 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-06-07 21:30:17 -0700 |
commit | 68eaba7d3db72dda06c4504ec744f1d2f47f994c (patch) | |
tree | e9e498e2e37ee1af55416c899e1fa7349b57e4f7 | |
parent | 96c056bd4cbc1f3bbacc118dfcf461dc1f3d45ac (diff) | |
download | lines.love-68eaba7d3db72dda06c4504ec744f1d2f47f994c.tar.gz |
document some editor constants
-rw-r--r-- | reference.md | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/reference.md b/reference.md index 37f90ec..8e9e34c 100644 --- a/reference.md +++ b/reference.md @@ -231,6 +231,25 @@ locations in the widget are `cursor1` describing where text is inserted or deleted and `screen_top1` which specifies how far down the lines is currently visible on screen. +Some constants that affect editor behavior: +* `Margin_top`, `Margin_left`, `Margin_right` are integers in pixel units that + affect where the editor is drawn on window (it always extends to bottom of + window as needed) +* `Drawing_padding_top` and `Drawing_padding_bottom` affect spacing around + drawings. + +* 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 of + a 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 hover + over it. + * `Help_color` and `Help_background_color` affect the color of online help + within line drawings. + ### clickable buttons There's a facility for rendering buttons and responding to events when they're |