merge bugfix
This commit is contained in:
parent
a026c39f1e
commit
07e16036ff
|
@ -4,6 +4,7 @@ on.mouse_press = function(x,y, mouse_button)
|
|||
zoom_in(x,y)
|
||||
return
|
||||
end
|
||||
print('mouse press', x,y)
|
||||
if Cursor_node then
|
||||
Cursor_node.show_cursor = nil
|
||||
Cursor_node = nil
|
||||
|
@ -14,6 +15,7 @@ on.mouse_press = function(x,y, mouse_button)
|
|||
end
|
||||
local node = on_text(x,y)
|
||||
if node then
|
||||
print('mouse press inside node')
|
||||
-- position cursor in node
|
||||
Cursor_node = node
|
||||
edit.mouse_press(node.editor, x,y, mouse_button)
|
||||
|
|
|
@ -9,7 +9,7 @@ add_def_to_menu = function(x,y, s, cursor_highlight)
|
|||
if cursor_highlight then
|
||||
color = Menu_highlight_color
|
||||
end
|
||||
button(HUD, 'menu', {x=x-5, y=y-2, w=width+5*2, h=HUD_line_height+2*2, color=colortable(color),
|
||||
button(HUD, 'menu', {x=x-5, y=y-2, w=width+5*2, h=HUD_line_height+2*2, bg=color,
|
||||
onpress1 = function()
|
||||
load_definition(s)
|
||||
end
|
||||
|
|
Loading…
Reference in New Issue