etc/look_newviolet.lua

   1 --
   2 -- look_newviolet for Notion's default drawing engine.
   3 -- Based on look_cleanviolet
   4 --
   5
   6 if not gr.select_engine("de") then
   7     return
   8 end
   9
  10 de.reset()
  11
  12 de.defstyle("*", {
  13     highlight_colour = "#e7e7ff",
  14     shadow_colour = "#e7e7ff",
  15     background_colour = "#b8b8c8",
  16     foreground_colour = "#000000",
  17
  18     shadow_pixels = 1,
  19     highlight_pixels = 2,
  20     padding_pixels = 1,
  21     spacing = 1,
  22     border_style = "elevated",
  23     border_sides = "tb",
  24
  25     font = "-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*",
  26     text_align = "center",
  27 })
  28
  29
  30 de.defstyle("tab", {
  31     font = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
  32
  33     de.substyle("active-selected", {
  34         highlight_colour = "#aaaacc",
  35         shadow_colour = "#aaaacc",
  36         background_colour = "#666699",
  37         foreground_colour = "#eeeeee",
  38     }),
  39
  40     de.substyle("inactive-selected", {
  41         highlight_colour = "#cfcfdf",
  42         shadow_colour = "#cfcfdf",
  43         background_colour = "#9999bb",
  44         foreground_colour = "#000000",
  45     }),
  46 })
  47
  48
  49 de.defstyle("input", {
  50     text_align = "left",
  51     highlight_colour = "#eeeeff",
  52     shadow_colour = "#eeeeff",
  53
  54     de.substyle("*-selection", {
  55         background_colour = "#666699",
  56         foreground_colour = "#000000",
  57     }),
  58
  59     de.substyle("*-cursor", {
  60         background_colour = "#000000",
  61         foreground_colour = "#b8b8c8",
  62     }),
  63 })
  64
  65
  66 de.defstyle("input-menu", {
  67     highlight_pixels = 0,
  68     shadow_pixels = 0,
  69     padding_pixels = 0,
  70 })
  71
  72
  73 de.defstyle("frame", {
  74     shadow_pixels = 1,
  75     highlight_pixels = 1,
  76     padding_pixels = 0,
  77     border_sides = "all",
  78 })
  79
  80
  81 dopath("lookcommon_clean")
  82
  83
  84 -- Refresh objects' brushes.
  85 gr.refresh()