2017-01-10 11:34:48 -05:00
|
|
|
# Theme format 3.0
|
|
|
|
|
|
|
|
Rofi is now at the 3rd version of it theming format. Where previous formats was a basic version with an extension. This
|
|
|
|
is a full rewrite. The new format is loosely modelled after [css](https://en.wikipedia.org/wiki/Cascading_Style_Sheets).
|
|
|
|
This will hopefully be familiar and make it easier for people to get started with theming.
|
|
|
|
|
|
|
|
This file is organized as follow, first we give the specification of the file format.
|
|
|
|
In the second part we will list the possible options. In the final section a few examples are shown.
|
|
|
|
|
|
|
|
## File Format Specification
|
|
|
|
|
|
|
|
### Encoding
|
|
|
|
|
|
|
|
The encoding of the file is ascii.
|
2017-01-10 13:05:24 -05:00
|
|
|
Both unix ('\n') and windows ('\r\n') newlines format are supported. But unix is preferred.
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
### Comments
|
|
|
|
|
|
|
|
C and C++ file comments are support.
|
|
|
|
|
|
|
|
* Anything after `// ` and before a newline is considered a comment.
|
|
|
|
* Everything between `/*` and `*/` are a comment.
|
|
|
|
|
|
|
|
Comments can be nested and inline.
|
|
|
|
|
|
|
|
The following is valid:
|
|
|
|
```css
|
2017-01-10 12:32:59 -05:00
|
|
|
// Magic comment.
|
2017-01-10 11:34:48 -05:00
|
|
|
property: /* comment */ value;
|
|
|
|
```
|
|
|
|
|
|
|
|
However this is not:
|
|
|
|
```css
|
|
|
|
prop/*comment*/erty: value;
|
|
|
|
```
|
|
|
|
|
|
|
|
### White space
|
|
|
|
|
|
|
|
White space and newlines, like comments, are ignored by the parser.
|
|
|
|
|
|
|
|
This:
|
|
|
|
|
|
|
|
```css
|
|
|
|
property: name;
|
|
|
|
```
|
|
|
|
|
|
|
|
Is identical to:
|
|
|
|
|
|
|
|
```css
|
|
|
|
property :
|
|
|
|
name
|
|
|
|
|
|
|
|
;
|
|
|
|
```
|
|
|
|
|
|
|
|
### Basic Structure
|
|
|
|
|
|
|
|
The file is structured like:
|
|
|
|
|
|
|
|
```
|
|
|
|
/* Global properties section */
|
|
|
|
* {
|
|
|
|
{list of properties}
|
|
|
|
}
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
/* Element theme section. */
|
2017-01-10 11:34:48 -05:00
|
|
|
#{element path} {
|
|
|
|
{list of properties}
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
#### Global properties section
|
|
|
|
|
|
|
|
Each theme has one, optional, global properties list.
|
|
|
|
If present, the global properties section has the be the first section in the file.
|
|
|
|
|
|
|
|
The global properties section is special, as the properties here denote the defaults for each element.
|
|
|
|
Reference properties (see properties section) can only link to properties in this section.
|
|
|
|
|
|
|
|
The section may only contain a '*' before the brace open..
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
#### Element theme section
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
A theme can have multiple element theme sections.
|
|
|
|
|
|
|
|
The element path can consist of multiple names separated by whitespace or dots.
|
2017-01-10 13:05:24 -05:00
|
|
|
Each element may contain any number of letters, numbers and '-'.
|
2017-01-10 11:34:48 -05:00
|
|
|
The first element should always start with a '#'.
|
|
|
|
|
|
|
|
This is a valid element name:
|
|
|
|
|
|
|
|
```css
|
|
|
|
#window mainbox listview element normal.normal {
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
And is identical to:
|
|
|
|
|
|
|
|
```css
|
|
|
|
#window.mainbox.listview.element normal.normal {
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
Each section inherits the properties of it parents and it own properties are added. If the property is specified both in
|
|
|
|
the parent as in the child, the childs property has priority.
|
|
|
|
So `#window mainbox` will contain all properties of `#window` and `#window mainbox`.
|
|
|
|
|
|
|
|
In the following example:
|
|
|
|
```css
|
|
|
|
#window {
|
|
|
|
a: 1;
|
|
|
|
b: 2;
|
|
|
|
}
|
|
|
|
#window mainbox {
|
|
|
|
b: 4;
|
|
|
|
c: 8;
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
The element `#window mainbox` will have the following set of properties:
|
|
|
|
|
|
|
|
```css
|
|
|
|
a: 1;
|
|
|
|
b: 4;
|
|
|
|
c: 8;
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
#### Properties
|
|
|
|
|
|
|
|
The properties in a section consist of:
|
|
|
|
|
|
|
|
```css
|
|
|
|
{identifier}: {value};
|
|
|
|
```
|
|
|
|
|
|
|
|
The `identifier` names the property specified. Identifier can consist of any combination of numbers, letters and '-'. It
|
|
|
|
may not contain any whitespace.
|
|
|
|
|
|
|
|
The current theme format support different type of properties:
|
|
|
|
|
|
|
|
* a string.
|
|
|
|
* an integer positive number.
|
|
|
|
* a positive fractional number.
|
|
|
|
* a boolean value.
|
|
|
|
* a color.
|
|
|
|
* text style.
|
|
|
|
* line style.
|
|
|
|
* a distance.
|
|
|
|
* a padding.
|
|
|
|
* a border.
|
|
|
|
* a position.
|
|
|
|
* a reference.
|
|
|
|
|
|
|
|
##### String
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `"[:print:]+"`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
A string is always surrounded by quotes ('"'), between the quotes it can have any printable character.
|
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```css
|
|
|
|
font: "Awasome 12";
|
|
|
|
```
|
|
|
|
|
|
|
|
###### Integer
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `[:digit:]+`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
An integer may contain any number.
|
|
|
|
|
|
|
|
For examples:
|
|
|
|
|
|
|
|
```css
|
|
|
|
lines: 12;
|
|
|
|
```
|
|
|
|
|
|
|
|
##### Real
|
|
|
|
|
2017-01-10 12:32:59 -05:00
|
|
|
* Format: `[:digit:]+(\.[:digit:]+)?`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
A real is an integer with an optional fraction.
|
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```css
|
|
|
|
real: 3.4;
|
|
|
|
```
|
|
|
|
|
|
|
|
##### Boolean
|
|
|
|
|
2017-01-10 12:32:59 -05:00
|
|
|
* Format: `(true|false)`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```css
|
|
|
|
dynamic: false;
|
|
|
|
```
|
|
|
|
|
|
|
|
##### Color
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `#{HEX}{6}`
|
|
|
|
* Format: `#{HEX}{8}`
|
|
|
|
* Format: `argb:{HEX}{8}`
|
|
|
|
* Format: `rgb({INTEGER},{INTEGER},{INTEGER})`
|
|
|
|
* Format: `rgba({INTEGER},{INTEGER},{INTEGER}, {REAL})`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
Where '{HEX}' is a hexidecimal number ('0-9a-f'). The '{INTEGER}' value can be between 0 and 255, the '{Real}' value
|
|
|
|
between 0.0 and 1.0.
|
|
|
|
|
|
|
|
|
|
|
|
The first formats specify the color as RRGGBB (R = red, G = green, B = Blue), the second adds an alpha (A) channel:
|
2017-01-10 13:05:24 -05:00
|
|
|
AARRGGB.
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```css
|
|
|
|
background: #FF0000;
|
|
|
|
foreground: rgba(0,0,1, 0.5);
|
|
|
|
```
|
|
|
|
|
|
|
|
##### Text style
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `(bold|italic|underline|none)`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
Text style indicates how the text should be displayed. None indicates no style should be applied.
|
|
|
|
|
|
|
|
##### Line style
|
|
|
|
|
2017-01-10 12:32:59 -05:00
|
|
|
* Format: `(dash|solid)`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
Indicates how a line should be drawn.
|
|
|
|
|
|
|
|
|
|
|
|
##### Distance
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `{Integer}px`
|
|
|
|
* Format: `{Real}em`
|
|
|
|
* Format: `{Real}%`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
##### Padding
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `{Integer}`
|
|
|
|
* Format: `{Distance}`
|
|
|
|
* Format: `{Distance} {Distance}`
|
|
|
|
* Format: `{Distance} {Distance} {Distance}`
|
|
|
|
* Format: `{Distance} {Distance} {Distance} {Distance}`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
###### Border
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `{Integer}`
|
|
|
|
* Format: `{Distance}`
|
|
|
|
* Format: `{Distance} {Distance}`
|
|
|
|
* Format: `{Distance} {Distance} {Distance}`
|
|
|
|
* Format: `{Distance} {Distance} {Distance} {Distance}`
|
|
|
|
* Format: `{Distance} {Line style}`
|
|
|
|
* Format: `{Distance} {Line style} {Distance} {Line style}`
|
|
|
|
* Format: `{Distance} {Line style} {Distance} {Line style} {Distance} {Line style}`
|
|
|
|
* Format: `{Distance} {Line style} {Distance} {Line style} {Distance} {Line style} {Distance} {Line style}`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
###### Position
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `(center|east|north|west|northeast|northweast|south|southwest|southeast)`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
###### Reference
|
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
* Format: `@{PROPERTY NAME}`
|
2017-01-10 11:34:48 -05:00
|
|
|
|
|
|
|
A reference can point to another reference. Currently the maximum number of redirects is 20.
|
|
|
|
|
2017-01-10 12:32:59 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
## Elements Paths
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
Element paths exists of two parts, the first part refers to the actual widget by name.
|
|
|
|
Some widgets have an extra state.
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
For example:
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
```css
|
|
|
|
#window mainbox listview element .selected {
|
|
|
|
}
|
|
|
|
```
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
Here `#window mainbox listview element` is the name of the widget, `selected` is the state of the widget.
|
2016-12-13 12:05:40 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
The difference between dots and spaces is purely cosmetic. These are all the same:
|
|
|
|
```css
|
|
|
|
#window mainbox listview element .selected {
|
|
|
|
}
|
|
|
|
#window.mainbox.listview.element.selected {
|
|
|
|
}
|
|
|
|
#window mainbox listview element selected {
|
|
|
|
}
|
|
|
|
```
|
2016-12-13 12:05:40 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
### Name
|
|
|
|
|
|
|
|
The current widgets exist in **rofi**:
|
|
|
|
|
|
|
|
* `#window`
|
|
|
|
* `#window.box`: The container holding the window.
|
|
|
|
* `#window.overlay`: The overlay widget.
|
|
|
|
* `#window.mainbox`
|
|
|
|
* `#window.mainbox.box`: The main vertical @box
|
|
|
|
* `#window.mainbox.inputbar`
|
|
|
|
* `#window.mainbox.inputbar.box`: The horizontal @box packing the widgets.
|
|
|
|
* `#window.mainbox.inputbar.case-indicator`: The case/sort indicator @textbox
|
|
|
|
* `#window.mainbox.inputbar.prompt`: The prompt @textbox
|
|
|
|
* `#window.mainbox.inputbar.entry`: The main entry @textbox
|
|
|
|
* `#window.mainbox.listview`
|
|
|
|
* `#window.mainbox.listview.box`: The listview container.
|
|
|
|
* `#window.mainbox.listview.scrollbar`: The listview scrollbar
|
|
|
|
* `#window.mainbox.listview.element`: The entries in the listview
|
|
|
|
* `#window.mainbox.sidebar`
|
|
|
|
* `#window.mainbox.sidebar.box`: The main horizontal @box packing the buttons.
|
|
|
|
* `#window.mainbox.sidebar.button`: The buttons @textbox for each mode.
|
|
|
|
* `#window.mainbox.message`
|
|
|
|
* `#window.mainbox.message.textbox`: The message textbox.
|
|
|
|
* `#window.mainbox.message.box`: The box containing the message.
|
|
|
|
|
|
|
|
### State
|
2016-12-13 12:05:40 -05:00
|
|
|
|
|
|
|
State: State of widget
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-19 02:10:33 -05:00
|
|
|
Optional flag(s) indicating state.
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
These are appended after the name or class of the widget.
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2017-01-05 03:40:10 -05:00
|
|
|
`#window.mainbox.sidebar.button selected.normal { }`
|
2016-12-13 12:10:42 -05:00
|
|
|
|
2017-01-05 03:40:10 -05:00
|
|
|
`#window.mainbox.listview.element selected.urgent { }`
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2017-01-05 03:40:10 -05:00
|
|
|
Currently only the entrybox and scrollbar has states:
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
`{visible modifier}.{state}`
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
Where `visible modifier` can be:
|
|
|
|
* normal: No modification.
|
|
|
|
* selected: The entry is selected/highlighted by user.
|
2016-12-19 02:10:33 -05:00
|
|
|
* alternate: The entry is at an alternating row. (uneven row)
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
Where `state` is:
|
2016-12-13 12:10:42 -05:00
|
|
|
* normal: No modification.
|
|
|
|
* urgent: This entry is marked urgent.
|
|
|
|
* activE: This entry is marked active.
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
These can be mixed.
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
Example:
|
2016-12-13 12:10:42 -05:00
|
|
|
```
|
2017-01-05 03:40:10 -05:00
|
|
|
#name.to.textbox selected.active {
|
2016-12-13 12:05:40 -05:00
|
|
|
background: #003642;
|
|
|
|
foreground: #008ed4;
|
|
|
|
}
|
2016-12-13 12:10:42 -05:00
|
|
|
```
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
Sets all selected textboxes marked active to the given foreground and background color.
|
2016-12-09 13:49:49 -05:00
|
|
|
|
2017-01-05 03:40:10 -05:00
|
|
|
The scrollbar when drawing uses the `handle` state when drawing the small scrollbar handle.
|
|
|
|
Allowing overriding of color.
|
|
|
|
|
2016-12-13 12:05:40 -05:00
|
|
|
|
2017-01-10 13:05:24 -05:00
|
|
|
### Supported properties
|
2016-12-19 02:10:33 -05:00
|
|
|
|
|
|
|
The following properties are currently supports:
|
|
|
|
|
2017-01-03 08:25:24 -05:00
|
|
|
* all widgets:
|
2017-01-10 13:05:24 -05:00
|
|
|
* padding: padding
|
|
|
|
Padding on the inside of the widget.
|
|
|
|
* margin: padding
|
|
|
|
Margin on the outside of the widget.
|
|
|
|
* border: border
|
|
|
|
Border around the widget (between padding and margin)/
|
2017-01-05 03:40:10 -05:00
|
|
|
* background: color
|
2017-01-10 13:05:24 -05:00
|
|
|
Background color.
|
2017-01-05 03:40:10 -05:00
|
|
|
* foreground: color
|
2017-01-10 13:05:24 -05:00
|
|
|
Foreground color.
|
|
|
|
* index: integer (This one does not inherits it value from the parent widget)
|
2017-01-03 08:25:24 -05:00
|
|
|
|
2016-12-19 02:10:33 -05:00
|
|
|
* window:
|
|
|
|
* font: string
|
2016-12-19 11:49:52 -05:00
|
|
|
* transparency: string
|
|
|
|
- real
|
|
|
|
- background
|
|
|
|
- screenshot
|
|
|
|
- Path to png file
|
2017-01-06 13:04:25 -05:00
|
|
|
* position: position
|
2017-01-10 13:05:24 -05:00
|
|
|
The place of the anchor on the monitor.
|
2017-01-06 13:04:25 -05:00
|
|
|
* anchor: anchor
|
2017-01-10 13:05:24 -05:00
|
|
|
The anchor position on the window.
|
|
|
|
* fullscreen: boolean
|
|
|
|
Window is fullscreen.
|
|
|
|
|
2016-12-19 02:10:33 -05:00
|
|
|
|
|
|
|
* scrollbar
|
|
|
|
* foreground: color
|
2017-01-06 09:36:06 -05:00
|
|
|
* handle-width: distance
|
2017-01-10 13:05:24 -05:00
|
|
|
* handle-color: color
|
2017-01-05 03:40:10 -05:00
|
|
|
* foreground: color
|
2016-12-19 02:10:33 -05:00
|
|
|
|
|
|
|
* box
|
2017-01-05 03:40:10 -05:00
|
|
|
* spacing: distance
|
2016-12-19 02:10:33 -05:00
|
|
|
|
2017-01-05 03:40:10 -05:00
|
|
|
* textbox:
|
2017-01-10 13:05:24 -05:00
|
|
|
* background: color
|
|
|
|
* foreground: color
|
|
|
|
* text: The text color to use (falls back to foreground if not set)
|
2017-01-08 18:09:02 -05:00
|
|
|
* highlight: highlight {color}
|
2016-12-19 02:10:33 -05:00
|
|
|
|
|
|
|
* listview:
|
|
|
|
* columns: integer
|
|
|
|
* fixed-height: boolean
|
2017-01-03 08:25:24 -05:00
|
|
|
* dynamic: boolean
|
2016-12-19 02:10:33 -05:00
|
|
|
* scrollbar: boolean
|
2017-01-05 03:40:10 -05:00
|
|
|
* scrollbar-width: distance
|
2016-12-19 02:10:33 -05:00
|
|
|
* cycle: boolean
|
2017-01-05 03:40:10 -05:00
|
|
|
* spacing: distance
|
2016-12-20 03:17:19 -05:00
|
|
|
|