de.defstyle("tab", {
- based_on = "*",
font = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
de.substyle("active-selected", {
de.defstyle("input", {
- based_on = "*",
text_align = "left",
highlight_colour = "#eeeeff",
shadow_colour = "#eeeeff",
de.defstyle("input-menu", {
- based_on = "input",
highlight_pixels = 0,
shadow_pixels = 0,
padding_pixels = 0,
de.defstyle("frame", {
- based_on = "*",
- background_colour = "#000000",
- transparent_background = false,
shadow_pixels = 1,
highlight_pixels = 1,
padding_pixels = 0,
border_sides = "all",
- de.substyle("quasiactive", {
- -- Something detached from the frame is active
- padding_colour = "#901010",
- }),
-})
-
-de.defstyle("frame-tiled", {
- based_on = "frame",
- shadow_pixels = 0,
- highlight_pixels = 0,
- padding_pixels = 1,
})
-de.defstyle("frame-tiled-alt", {
- based_on = "frame-tiled",
- bar = "none",
-})
-de.defstyle("frame-floating", {
- based_on = "frame",
- bar = "shaped",
- padding_pixels = 0,
-})
+dopath("lookcommon_clean")
-dopath("lookcommon_clean_stdisp")
-dopath("lookcommon_clean_tab")
-
-- Refresh objects' brushes.
gr.refresh()