Fix bug when the focused window deinitialized
[notion.git] / contrib / styles / look_tiny.lua
blob574481aa5aad28ffa77078c7eefa915c2a76f9c3
1 -- Authors: Unknown
2 -- License: Unknown
3 -- Last Changed: Unknown
4 --
5 -- look_tiny.lua: an ion3 style for small screens...like mine :(
6 -- based on look_minimalist.lua
8 if not gr.select_engine("de") then return end
10 de.reset()
12 de.defstyle("*", {
13 bar_inside_border = false,
14 background_colour = "#000000",
15 foreground_colour = "#ffffff",
16 padding_colour = "#505050",
17 padding_pixels = 0,
18 highlight_pixels = 0,
19 shadow_pixels = 0,
20 border_style = "ridge",
21 font = "-*-lucida-medium-r-normal-*-10-*-*-*-*-*-*-*",
22 text_align = "left",
23 transparent_background = true,
26 de.defstyle("frame", {
27 based_on = "*",
28 spacing = 2,
31 de.defstyle("frame-floating", {
32 based_on = "frame",
33 highlight_colour = "#888888",
34 shadow_colour = "#333333",
35 highlight_pixels = 1,
36 shadow_pixels = 1,
37 padding_pixels = 3,
40 de.defstyle("tabstyle", {
41 based_on = "*",
42 background_colour = "#222222",
43 de.substyle("active-unselected", {
44 padding_colour = "#353577",
45 background_colour = "#000044",
46 }),
47 de.substyle("inactive-selected", {
48 padding_colour = "#707070",
49 background_colour = "#505050",
50 }),
51 de.substyle("active-selected", {
52 padding_colour = "#5555cc",
53 background_colour = "#223399",
54 }),
57 de.defstyle("tab", {
58 based_on = "tabstyle",
59 spacing = 2,
60 padding_pixels=1,
63 de.defstyle("tab-menuentry", {
64 based_on = "tabstyle",
65 font = "-*-lucida-medium-r-normal-*-12-*-*-*-*-*-*-*",
66 text_align = "left",
69 de.defstyle("tab-menuentry-big", {
70 based_on = "tab-menuentry",
71 font = "-*-lucida-medium-r-normal-*-24-*-*-*-*-*-*-*",
74 de.defstyle("input", {
75 based_on = "*",
76 padding_pixels = 1,
77 font = "-*-lucida-medium-r-normal-*-14-*-*-*-*-*-*-*",
78 de.substyle("*-cursor", {
79 background_colour = "#00ff00",
80 foreground_colour = "#000000",
81 }),
82 de.substyle("*-selection", {
83 foreground_colour = "#5555cc",
84 }),
87 de.defstyle("stdisp", {
88 based_on = "tab",
89 background_colour = "#000000",
90 padding_colour = "#000000",
91 de.substyle("important", { foreground_colour = "#ffff00", }),
92 de.substyle("critical", { foreground_colour = "#ff0000", }),
93 de.substyle("gray", { foreground_colour = "#505050", }),
94 de.substyle("red", { foreground_colour = "#ff0000", }),
95 de.substyle("green", { foreground_colour = "#00ff00", }),
96 de.substyle("blue", { foreground_colour = "#0000ff", }),
97 de.substyle("cyan", { foreground_colour = "#00ffff", }),
98 de.substyle("magenta", { foreground_colour = "#ff00ff", }),
99 de.substyle("yellow", { foreground_colour = "#ffff00", }),
102 gr.refresh()