bugfix: use border color in scrollbars
This commit is contained in:
parent
230b903df8
commit
2ff2692bb4
|
@ -1,5 +1,5 @@
|
|||
draw_editor_border = function()
|
||||
App.color{r=0.5, g=0.5, b=0.5}
|
||||
App.color(Border_color)
|
||||
local x1 = Current_pane.editor_state.left-5-Line_number_padding
|
||||
local y1 = Current_pane.editor_state.top-5
|
||||
local x2 = Current_pane.editor_state.right+5
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
draw_output_border = function()
|
||||
App.color{r=0.5, g=0.5, b=0.5}
|
||||
App.color(Border_color)
|
||||
-- hack: computing based on editor before output exists
|
||||
local x1 = Current_pane.editor_state.left-5-Line_number_padding
|
||||
local x2 = Current_pane.editor_state.right+5
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
draw_scrollbar = function(state)
|
||||
App.color(Normal_color)
|
||||
App.color(Border_color)
|
||||
love.graphics.line(state.right+30, state.top, state.right+30, state.bottom)
|
||||
love.graphics.line(state.right+25, state.top, state.right+35, state.top)
|
||||
love.graphics.line(state.right+25, state.bottom, state.right+35, state.bottom)
|
||||
|
|
|
@ -0,0 +1 @@
|
|||
Border_color = {r=0.5, g=0.5, b=0.5}
|
Loading…
Reference in New Issue