bring back syntax highlighting (but so ugly)
Dependencies
- [2]
JV27LDDKsliders for font size and color settings - [3]
2L5MEZV3experiment: new edit namespace - [4]
LF7BWEG4group all editor globals - [5]
PRE6XPRNresponsively increase/decrease font height - [6]
FHSZYAZ2more precise search highlighting - [7]
ZM7NOBRMnew fork: carousel shell - [8]
S2MISTTMadd state arg to a few functions - [9]
MD3W5IRAnew fork: rip out drawing support - [10]
X3F7ECSLadd state arg to some functions - [11]
HIKLULFQextract a function - [12]
4KC7I3E2make colors easier to edit - [13]
LXTTOB33extract a couple of files - [14]
RK2ASPN7add lots of buttons to the toolbar - [15]
WR2WMEPEimplement 'Run' button - [16]
VAVXKWZVaggregate global state inside a 'pane' object - [17]
ISOFHXB2App.width can no longer take a Text
Change contents
- replacement in select.lua at line 65[3.897]→[3.153:179](∅→∅),[3.1016]→[3.153:179](∅→∅),[3.79197]→[3.153:179](∅→∅),[3.965]→[3.153:179](∅→∅)
App.color(Text_color)App.color(Foreground_color) - replacement in search.lua at line 14
App.color(Text_color)App.color(Foreground_color) - replacement in edit.lua at line 2
Text_color = {r=0, g=0, b=0}Text_color = {r=0, g=0, b=0} -- only used in testsForeground_color = {r=0, g=0, b=0} - replacement in colorize.lua at line 34
normal=Text_color,normal=Foreground_color, - edit in colorize.lua at line 50
--? if frag == 'do ' then - edit in colorize.lua at line 52
--? end - replacement in colorize.lua at line 54
--? print('using color', Current_state, Colors[Current_state])--? if frag == 'do ' then--? print('using color', Current_state, Colors[Current_state], Colors[Current_state].r, Colors[Current_state].g, Colors[Current_state].b)--? end - replacement in 0091-Foreground_color at line 1
Foreground_color = {r=0, g=0, b=0}[2.347]-- Foreground_color comes predefined, and we have to be careful-- to use the precise table instance used by colorize.lua---- This 'definition' is only here to remind us of this global,-- and this gotcha.Foreground_color = Foreground_color - replacement in 0032-update_font_settings at line 7
Current_pane.editor_state.top = Menu_bottom + 20Current_pane.editor_state.left = Menu_left + 50 + Line_number_paddingCurrent_pane.editor_state.right = math.min(100+30*App.width('m'), Safe_width*2/3)Current_pane.editor_state.width = Current_pane.editor_state.right - Current_pane.editor_state.leftedit.update_font_settings(Current_pane.editor_state, font_height)Text.redraw_all(Current_pane.editor_state)for _,pane in ipairs(Panes) dopane.editor_state.top = Menu_bottom + 20pane.editor_state.left = Menu_left + 50 + Line_number_paddingpane.editor_state.right = math.min(100+30*App.width('m'), Safe_width*2/3)pane.editor_state.width = pane.editor_state.right - pane.editor_state.leftedit.update_font_settings(pane.editor_state, font_height)Text.redraw_all(pane.editor_state)end - replacement in 0012-on.draw at line 7
edit.draw(Current_pane.editor_state, --[[fg]] Foreground_color, --[[hide_cursor]] nil, --[[show_line_numbers]] true)edit.draw(Current_pane.editor_state, --[[implicitly use Foreground_color]] nil, --[[hide_cursor]] nil, --[[show_line_numbers]] true)