no, go back to drawing the menu after the editor
I originally made this change to keep the next/prev buttons from overwriting the search bar. But now the dropdown menu up top gets overwritten by the scrollbars! You can only see it if the window width is just right, as happens on my phone. I could fix this perfectly, but at the cost of some code complexity. Just take that slight visual ugliness for now, it doesn't seem to impede anything.
This commit is contained in:
parent
08f3b08f0e
commit
bfc1f80b87
|
@ -14,7 +14,6 @@ on.draw = function()
|
|||
love.graphics.setFont(Font)
|
||||
App.color(Normal_color)
|
||||
love.graphics.setLineWidth(1)
|
||||
draw_menu()
|
||||
if Show_code then
|
||||
draw_output_border()
|
||||
edit.draw(Current_pane.output_editor_state, Foreground_color, --[[hide cursor]] true)
|
||||
|
@ -24,6 +23,7 @@ on.draw = function()
|
|||
edit.draw(Current_pane.editor_state, --[[implicitly use Foreground_color]] nil, --[[hide_cursor]] nil, --[[show_line_numbers]] true)
|
||||
draw_scrollbar(Current_pane.editor_state)
|
||||
end
|
||||
draw_menu()
|
||||
draw_next_frames_of_animations()
|
||||
draw_button_tooltips(Global_state)
|
||||
end
|
||||
end
|
Loading…
Reference in New Issue