diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-06-07 21:39:37 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-06-07 21:47:04 -0700 |
commit | e8a5faaa4cbdb6a9f15ad4edf1ca4e86879edf19 (patch) | |
tree | 0dce3c4c2c3257461f57e785c03dcd1c361ad350 | |
parent | 77164c61c8a4746b4bef8a3eb2a5cc7eb8efa0fc (diff) | |
parent | 68eaba7d3db72dda06c4504ec744f1d2f47f994c (diff) | |
download | view.love-e8a5faaa4cbdb6a9f15ad4edf1ca4e86879edf19.tar.gz |
Merge lines.love
-rw-r--r-- | edit.lua | 1 | ||||
-rw-r--r-- | reference.md | 8 |
2 files changed, 8 insertions, 1 deletions
diff --git a/edit.lua b/edit.lua index 3f9c73c..8b5cbf7 100644 --- a/edit.lua +++ b/edit.lua @@ -1,7 +1,6 @@ -- some constants people might like to tweak Text_color = {r=0, g=0, b=0} Cursor_color = {r=1, g=0, b=0} -Focus_stroke_color = {r=1, g=0, b=0} -- what mouse is hovering over Highlight_color = {r=0.7, g=0.7, b=0.9} -- selected text Margin_top = 15 diff --git a/reference.md b/reference.md index 0e3e53d..2c8b07c 100644 --- a/reference.md +++ b/reference.md @@ -231,6 +231,14 @@ 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) + +* Various color constants are represented as tables with r/g/b keys: + * `Text_color`, `Cursor_color`, `Highlight_color` for drawing text. + ### clickable buttons There's a facility for rendering buttons and responding to events when they're |