Fix bug when the focused window deinitialized
[notion.git] / contrib / styles / look_blue.lua
blob7f888f1e141d780ef2a6836fe1e963fa752d9cea
1 -- Authors: Unknown
2 -- License: Unknown
3 -- Last Changed: Unknown
4 --
5 -- look_blue, based on look-cleanviolet
6 --
8 if not gr.select_engine("de") then
9 return
10 end
12 -- Clear existing styles from memory.
13 de.reset()
15 -- Base style
16 de.defstyle("*", {
17 highlight_colour = "#eeeeff",
18 shadow_colour = "#eeeeff",
19 background_colour = "#9999bb",
20 foreground_colour = "#444477",
22 shadow_pixels = 1,
23 highlight_pixels = 1,
24 padding_pixels = 1,
25 spacing = 0,
26 border_style = "elevated",
28 font = "-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*",
29 text_align = "center",
33 de.defstyle("frame", {
34 based_on = "*",
35 padding_colour = "#aaaaaa",
36 background_colour = "#000000",
40 de.defstyle("frame-tiled", {
41 based_on = "frame",
42 shadow_pixels = 0,
43 highlight_pixels = 0,
44 padding_pixels = 0,
45 spacing = 1,
49 de.defstyle("tab", {
50 based_on = "*",
51 font = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
53 de.substyle("active-selected", {
54 highlight_colour = "#9999bb",
55 shadow_colour = "#9999bb",
56 background_colour = "#34639f",
57 foreground_colour = "#eeeeff",
58 }),
60 de.substyle("inactive-selected", {
61 highlight_colour = "#dddddd",
62 shadow_colour = "#dddddd",
63 background_colour = "#7c95b4",
64 foreground_colour = "#333366",
65 }),
69 de.defstyle("tab-menuentry", {
70 based_on = "tab",
71 text_align = "left",
72 spacing = 1,
76 de.defstyle("tab-menuentry-big", {
77 based_on = "tab-menuentry",
78 font = "-*-helvetica-medium-r-normal-*-17-*-*-*-*-*-*-*",
79 padding_pixels = 4,
83 de.defstyle("input", {
84 based_on = "*",
85 text_align = "left",
86 spacing = 0,
87 highlight_colour = "#9999bb",
88 shadow_colour = "#9999bb",
89 background_colour = "#34639f",
90 foreground_colour = "#eeeeff",
92 de.substyle("*-selection", {
93 background_colour = "#9999ff",
94 foreground_colour = "#333366",
95 }),
97 de.substyle("*-cursor", {
98 background_colour = "#ccccff",
99 foreground_colour = "#9999aa",
103 dopath("lookcommon_clean")
105 -- Refresh objects' brushes.
106 gr.refresh()