100 lines
2.3 KiB
Plaintext
100 lines
2.3 KiB
Plaintext
draw_settings_menu = function()
|
|
App.color(Menu_background)
|
|
local w,h = 200, 130+2*Line_height
|
|
local x,y = Safe_width-30-w, Menu_bottom
|
|
Settings_menu_area = {x=x, y=y, w=w, h=h}
|
|
love.graphics.rectangle('fill', x,y, w,h)
|
|
App.color(Normal_color)
|
|
-- font size slider
|
|
love.graphics.print('font size', x+10,y+10)
|
|
y = y+10+Line_height
|
|
local sx = x+App.width('bg')+50 -- align all sliders
|
|
Settings_font_slider = {
|
|
name='font',
|
|
-- x limits
|
|
x0=sx+20, x1=Safe_width-30-10,
|
|
-- central y
|
|
y0=y+10,
|
|
-- slider knob dimensions
|
|
w=10, h=10,
|
|
-- extremes
|
|
lo=12, hi=40, -- font sizes
|
|
value=Current_pane.editor_state.font_height,
|
|
}
|
|
draw_slider(Settings_font_slider)
|
|
y = y+10
|
|
-- colors
|
|
love.graphics.print('colors', x+10,y+10)
|
|
y = y+10+Line_height
|
|
-- colors/foreground
|
|
love.graphics.print('fg', x+20, y)
|
|
App.color(Foreground_color)
|
|
love.graphics.rectangle('fill', sx-20,y+5, 20,20)
|
|
local prev = Settings_font_slider
|
|
Settings_foreground_sliders = {
|
|
r = {
|
|
name='fg/r',
|
|
x0=prev.x0, x1=prev.x1,
|
|
y0=y,
|
|
w=prev.w, h=prev.h,
|
|
lo=0, hi=1,
|
|
value=Foreground_color.r,
|
|
},
|
|
g = {
|
|
name='fg/g',
|
|
x0=prev.x0, x1=prev.x1,
|
|
y0=y+15,
|
|
w=prev.w, h=prev.h,
|
|
lo=0, hi=1,
|
|
value=Foreground_color.g,
|
|
},
|
|
b = {
|
|
name='fg/b',
|
|
x0=prev.x0, x1=prev.x1,
|
|
y0=y+30,
|
|
w=prev.w, h=prev.h,
|
|
lo=0, hi=1,
|
|
value=Foreground_color.b,
|
|
},
|
|
}
|
|
App.color(Normal_color)
|
|
draw_slider(Settings_foreground_sliders.r)
|
|
draw_slider(Settings_foreground_sliders.g)
|
|
draw_slider(Settings_foreground_sliders.b)
|
|
y = y+50
|
|
-- colors/background
|
|
love.graphics.print('bg', x+20, y)
|
|
App.color(Background_color)
|
|
love.graphics.rectangle('fill', sx-20,y+5, 20,20)
|
|
App.color(Normal_color)
|
|
Settings_background_sliders = {
|
|
r = {
|
|
name='bg/r',
|
|
x0=prev.x0, x1=prev.x1,
|
|
y0=y,
|
|
w=prev.w, h=prev.h,
|
|
lo=0, hi=1,
|
|
value=Background_color.r
|
|
},
|
|
g = {
|
|
name='bg/g',
|
|
x0=prev.x0, x1=prev.x1,
|
|
y0=y+15,
|
|
w=prev.w, h=prev.h,
|
|
lo=0, hi=1,
|
|
value=Background_color.g
|
|
},
|
|
b = {
|
|
name='bg/b',
|
|
x0 = prev.x0, x1=prev.x1,
|
|
y0 = y+30,
|
|
w=prev.w, h=prev.h,
|
|
lo = 0, hi=1,
|
|
value = Background_color.b
|
|
},
|
|
}
|
|
App.color(Normal_color)
|
|
draw_slider(Settings_background_sliders.r)
|
|
draw_slider(Settings_background_sliders.g)
|
|
draw_slider(Settings_background_sliders.b)
|
|
end |