awesomewm-mirrors
/
awesome
mirror of https://github.com/awesomeWM/awesome.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

convert menu width and height from string to number 

Signed-off-by: Uli Schlachter <psychon@znc.in>
This commit is contained in:
dodo 2011-03-31 11:44:09 +02:00 committed by Uli Schlachter
parent ea40a922ed
commit cd201bdf6a
3 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
themes/default/theme.lua.in
View File

@ -17,7 +17,7 @@ theme.fg_focus = "#ffffff"
theme.fg_urgent = "#ffffff"
theme.fg_minimize = "#ffffff"
theme.border_width = "1"
theme.border_width = 1
theme.border_normal = "#000000"
theme.border_focus = "#535d6c"
theme.border_marked = "#91231c"
@ -40,8 +40,8 @@ theme.taglist_squares_unsel = "@AWESOME_THEMES_PATH@/default/taglist/squarew.png
-- menu_[bg|fg]_[normal|focus]
-- menu_[border_color|border_width]
theme.menu_submenu_icon = "@AWESOME_THEMES_PATH@/default/submenu.png"
theme.menu_height = "15"
theme.menu_width = "100"
theme.menu_height = 15
theme.menu_width = 100
-- You can add as many variables as
-- you wish and access them by using

6
themes/sky/theme.lua.in
View File

@ -19,7 +19,7 @@ theme.fg_focus = "#2e3436"
theme.fg_urgent = "#2e3436"
theme.fg_minimize = "#2e3436"
theme.border_width = "2"
theme.border_width = 2
theme.border_normal = "#dae3e0"
theme.border_focus = "#729fcf"
theme.border_marked = "#eeeeec"
@ -47,8 +47,8 @@ theme.taglist_squares_unsel = "@AWESOME_THEMES_PATH@/default/taglist/squarew.png
theme.wallpaper_cmd = { "awsetbg @AWESOME_THEMES_PATH@/sky/sky-background.png" }
theme.taglist_squares = "true"
theme.titlebar_close_button = "true"
theme.menu_height = "15"
theme.menu_width = "100"
theme.menu_height = 15
theme.menu_width = 100
-- Define the image to load
theme.titlebar_close_button_normal = "@AWESOME_THEMES_PATH@/default/titlebar/close_normal.png"

6
themes/zenburn/theme.lua.in
View File

@ -25,7 +25,7 @@ theme.bg_systray = theme.bg_normal
-- }}}
-- {{{ Borders
theme.border_width = "2"
theme.border_width = 2
theme.border_normal = "#3F3F3F"
theme.border_focus = "#6F6F6F"
theme.border_marked = "#CC9393"
@ -66,8 +66,8 @@ theme.mouse_finder_color = "#CC9393"
-- Variables set for theming the menu:
-- menu_[bg|fg]_[normal|focus]
-- menu_[border_color|border_width]
theme.menu_height = "15"
theme.menu_width = "100"
theme.menu_height = 15
theme.menu_width = 100
-- }}}
-- {{{ Icons