2017-03-18 10:57:34 -04:00
|
|
|
# ROFI-THEME 5 rofi-theme
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
## NAME
|
|
|
|
|
|
|
|
**rofi-theme** - Rofi theme format files
|
|
|
|
|
|
|
|
## DESCRIPTION
|
|
|
|
|
|
|
|
The need for a new theme format was motivated by the fact that the way rofi handled widgets has changed. From a very
|
|
|
|
static drawing of lines and text to a nice structured form of packing widgets. This change made it possible to provide a
|
2017-08-13 13:19:19 -04:00
|
|
|
more flexible theme framework. The old theme format and config file are not flexible enough to expose these options in a
|
2017-09-04 16:20:46 -04:00
|
|
|
user-friendly way. Therefor, a new file format has been created, replacing the old one.
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
## FORMAT SPECIFICATION
|
|
|
|
|
|
|
|
## Encoding
|
|
|
|
|
2017-07-26 05:47:47 -04:00
|
|
|
The encoding of the file is utf-8. Both unix (`\n`) and windows (`\r\n`) newlines format are supported. But unix is
|
2017-04-03 11:39:09 -04:00
|
|
|
preferred.
|
|
|
|
|
|
|
|
## Comments
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
C and C++ file comments are supported.
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
* Anything after `// ` and before a newline is considered a comment.
|
|
|
|
* Everything between `/*` and `*/` is a comment.
|
|
|
|
|
|
|
|
Comments can be nested and the C comments can be inline.
|
|
|
|
|
|
|
|
The following is valid:
|
|
|
|
|
|
|
|
```
|
|
|
|
// Magic comment.
|
|
|
|
property: /* comment */ value;
|
|
|
|
```
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
However, this is not:
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
prop/*comment*/erty: value;
|
|
|
|
```
|
|
|
|
|
|
|
|
## White space
|
|
|
|
|
|
|
|
White space and newlines, like comments, are ignored by the parser.
|
|
|
|
|
|
|
|
This:
|
|
|
|
|
|
|
|
```
|
|
|
|
property: name;
|
|
|
|
```
|
|
|
|
|
|
|
|
Is identical to:
|
|
|
|
|
|
|
|
```
|
|
|
|
property :
|
|
|
|
name
|
|
|
|
|
|
|
|
;
|
|
|
|
```
|
|
|
|
|
|
|
|
## File extension
|
|
|
|
|
|
|
|
The preferred file extension for the new theme format is **rasi**. This is an
|
|
|
|
abbreviation for **r**ofi **a**dvanced **s**tyle **i**nformation.
|
|
|
|
|
|
|
|
## BASIC STRUCTURE
|
|
|
|
|
|
|
|
Each element has a section with defined properties. Properties can be inherited
|
|
|
|
to sub-sections. Global properties can be defined in section `* { }`.
|
|
|
|
Sub-section names begin with a hash symbol `#`.
|
|
|
|
|
2017-04-04 02:38:21 -04:00
|
|
|
It is advised to define the *global properties section* on top of the file to
|
2017-04-03 11:39:09 -04:00
|
|
|
make inheritance of properties clearer.
|
|
|
|
|
|
|
|
```
|
|
|
|
/* Global properties section */
|
|
|
|
* {
|
|
|
|
// list of properties
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Element theme section. */
|
|
|
|
#{element path} {
|
|
|
|
// list of properties
|
|
|
|
}
|
|
|
|
#{elements... } {
|
|
|
|
// list of properties
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
2017-07-26 05:47:47 -04:00
|
|
|
If there are mulitple sections with the same name, they are merged. Duplicate properties are overwritten and the last
|
|
|
|
parsed entry kept.
|
|
|
|
|
2017-04-03 11:39:09 -04:00
|
|
|
## Global properties section
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
A theme can have one or more global properties sections. If there is more than one,
|
|
|
|
they will be merged.
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
The global properties section denotes the defaults for each element.
|
|
|
|
Each property of this section can be referenced with `@{identifier}`
|
|
|
|
(See Properties section)
|
|
|
|
|
|
|
|
A global properties section is indicated with a `*` as element path.
|
|
|
|
|
|
|
|
## Element theme section
|
|
|
|
|
|
|
|
A theme can have multiple element theme sections.
|
|
|
|
|
|
|
|
The element path can consist of multiple names separated by whitespace or dots.
|
2017-08-13 13:19:19 -04:00
|
|
|
Each element may contain any number of letters, numbers and `-`'s.
|
2017-04-03 11:39:09 -04:00
|
|
|
The first element in the element path should always start with a `#`.
|
|
|
|
|
|
|
|
This is a valid element name:
|
|
|
|
|
|
|
|
```
|
|
|
|
#window mainbox listview element normal.normal {
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
And is identical to:
|
|
|
|
|
|
|
|
```
|
|
|
|
#window.mainbox.listview.element normal.normal {
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
Each section inherits the properties of its parents. Inherited properties
|
|
|
|
can be overridden by defining them again in the section itself.
|
|
|
|
So `#window mainbox` will contain all properties of `#window` and `#window
|
|
|
|
mainbox`.
|
|
|
|
|
|
|
|
In the following example:
|
|
|
|
|
|
|
|
```
|
|
|
|
#window {
|
|
|
|
a: 1;
|
|
|
|
b: 2;
|
|
|
|
}
|
|
|
|
#window mainbox {
|
|
|
|
b: 4;
|
|
|
|
c: 8;
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
The element `#window mainbox` will have the following set of properties:
|
|
|
|
|
|
|
|
```
|
|
|
|
a: 1;
|
|
|
|
b: 4;
|
|
|
|
c: 8;
|
|
|
|
```
|
|
|
|
|
|
|
|
If multiple sections are defined with the same name, they are merged by the
|
|
|
|
parser. If multiple properties with the same name are defined in one section,
|
|
|
|
the last encountered property is used.
|
|
|
|
|
|
|
|
## PROPERTIES FORMAT
|
|
|
|
|
|
|
|
The properties in a section consist of:
|
|
|
|
|
|
|
|
```
|
|
|
|
{identifier}: {value};
|
|
|
|
```
|
|
|
|
|
|
|
|
Both fields are manditory for a property.
|
|
|
|
|
|
|
|
The `identifier` names the specified property. Identifiers can consist of any
|
|
|
|
combination of numbers, letters and '-'. It must not contain any whitespace.
|
2017-07-26 05:47:47 -04:00
|
|
|
The structure of the `value` defines the type of the property. The current
|
|
|
|
parser does not define or enforce a certain type of a particular `identifier`.
|
2017-08-13 13:19:19 -04:00
|
|
|
When used, values with the wrong type that cannot be converted are ignored.
|
|
|
|
|
|
|
|
The current theme format supports different types:
|
|
|
|
|
|
|
|
* a string
|
|
|
|
* an integer number
|
|
|
|
* a fractional number
|
|
|
|
* a boolean value
|
|
|
|
* a color
|
|
|
|
* text style
|
|
|
|
* line style
|
|
|
|
* a distance
|
|
|
|
* a padding
|
|
|
|
* a border
|
|
|
|
* a position
|
|
|
|
* a reference
|
|
|
|
* an orientation
|
|
|
|
* a list of keywords
|
2017-09-10 10:09:53 -04:00
|
|
|
* Inherit
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
Some of these types are a combination of other types.
|
|
|
|
|
|
|
|
## String
|
|
|
|
|
|
|
|
* Format: `"[:print:]+"`
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
A string is always surrounded by double quotes (`"`). Between the quotes there can be any printable character.
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```
|
|
|
|
font: "Awasome 12";
|
|
|
|
```
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The string must be valid UTF-8.
|
2017-07-26 05:47:47 -04:00
|
|
|
|
2017-04-03 11:39:09 -04:00
|
|
|
## Integer
|
|
|
|
|
|
|
|
* Format: `[-+]?[:digit:]+`
|
|
|
|
|
|
|
|
An integer may contain any number.
|
|
|
|
|
|
|
|
For examples:
|
|
|
|
|
|
|
|
```
|
|
|
|
lines: 12;
|
|
|
|
```
|
|
|
|
|
|
|
|
## Real
|
|
|
|
|
|
|
|
* Format: `[-+]?[:digit:]+(\.[:digit:]+)?`
|
|
|
|
|
|
|
|
A real is an integer with an optional fraction.
|
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```
|
|
|
|
real: 3.4;
|
|
|
|
```
|
|
|
|
|
|
|
|
The following is not valid: `.3`, `3.` or scientific notation: `3.4e-3`.
|
|
|
|
|
|
|
|
## Boolean
|
|
|
|
|
|
|
|
* Format: `(true|false)`
|
|
|
|
|
|
|
|
Boolean value is either `true` or `false`. This is case-sensitive.
|
|
|
|
|
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```
|
|
|
|
dynamic: false;
|
|
|
|
```
|
|
|
|
|
|
|
|
## Color
|
|
|
|
|
2017-05-17 02:24:28 -04:00
|
|
|
**rofi** supports the color formats as specified in the CSS standard (1,2,3 and some of CSS 4)
|
2017-04-03 11:39:09 -04:00
|
|
|
|
2017-05-17 02:24:28 -04:00
|
|
|
* Format: `#{HEX}{3}` (rgb)
|
|
|
|
* Format: `#{HEX}{4}` (rgba)
|
|
|
|
* Format: `#{HEX}{6}` (rrggbb)
|
|
|
|
* Format: `#{HEX}{8}` (rrggbbaa)
|
|
|
|
* Format: `rgb[a]({INTEGER},{INTEGER},{INTEGER}[, {PERCENTAGE}])`
|
|
|
|
* Format: `rgb[a]({INTEGER}%,{INTEGER}%,{INTEGER}%[, {PERCENTAGE}])`
|
2017-07-26 05:47:47 -04:00
|
|
|
* Format: `hsl[a]( {ANGLE}, {PERCENTAGE}, {PERCENTAGE} [, {PERCENTAGE}])`
|
|
|
|
* Format: `hwb[a]( {ANGLE}, {PERCENTAGE}, {PERCENTAGE} [, {PERCENTAGE}])`
|
2017-05-17 02:24:28 -04:00
|
|
|
* Format: `cmyk( {PERCENTAGE}, {PERCENTAGE}, {PERCENTAGE}, {PERCENTAGE} [, {PERCENTAGE} ])`
|
2017-05-17 16:02:59 -04:00
|
|
|
* Format: `{named-color} [ / {PERCENTAGE} ]`
|
2017-05-17 02:24:28 -04:00
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The white-space format proposed in CSS4 is also supported.
|
2017-05-17 02:24:28 -04:00
|
|
|
|
|
|
|
The different values are:
|
|
|
|
|
|
|
|
* `{HEX}` is a hexidecimal number ('0-9a-f' case insensitive).
|
|
|
|
* `{INTEGER}` value can be between 0 and 255 or 0-100 when representing percentage.
|
2017-08-13 13:19:19 -04:00
|
|
|
* `{ANGLE}` is the angle on the color wheel, can be in `deg`, `rad`, `grad` or `turn`. When no unit is specified, degrees is assumed.
|
|
|
|
* `{PERCENTAGE}` can be between 0-1.0, or 0%-100%
|
|
|
|
* `{named-color}` is one of the following colors:
|
2017-05-17 16:02:59 -04:00
|
|
|
|
|
|
|
AliceBlue, AntiqueWhite, Aqua, Aquamarine, Azure, Beige, Bisque, Black, BlanchedAlmond, Blue, BlueViolet, Brown,
|
|
|
|
BurlyWood, CadetBlue, Chartreuse, Chocolate, Coral, CornflowerBlue, Cornsilk, Crimson, Cyan, DarkBlue, DarkCyan,
|
|
|
|
DarkGoldenRod, DarkGray, DarkGrey, DarkGreen, DarkKhaki, DarkMagenta, DarkOliveGreen, DarkOrange, DarkOrchid, DarkRed,
|
|
|
|
DarkSalmon, DarkSeaGreen, DarkSlateBlue, DarkSlateGray, DarkSlateGrey, DarkTurquoise, DarkViolet, DeepPink, DeepSkyBlue,
|
|
|
|
DimGray, DimGrey, DodgerBlue, FireBrick, FloralWhite, ForestGreen, Fuchsia, Gainsboro, GhostWhite, Gold, GoldenRod,
|
|
|
|
Gray, Grey, Green, GreenYellow, HoneyDew, HotPink, IndianRed, Indigo, Ivory, Khaki, Lavender, LavenderBlush, LawnGreen,
|
|
|
|
LemonChiffon, LightBlue, LightCoral, LightCyan, LightGoldenRodYellow, LightGray, LightGrey, LightGreen, LightPink,
|
|
|
|
LightSalmon, LightSeaGreen, LightSkyBlue, LightSlateGray, LightSlateGrey, LightSteelBlue, LightYellow, Lime, LimeGreen,
|
|
|
|
Linen, Magenta, Maroon, MediumAquaMarine, MediumBlue, MediumOrchid, MediumPurple, MediumSeaGreen, MediumSlateBlue,
|
|
|
|
MediumSpringGreen, MediumTurquoise, MediumVioletRed, MidnightBlue, MintCream, MistyRose, Moccasin, NavajoWhite, Navy,
|
|
|
|
OldLace, Olive, OliveDrab, Orange, OrangeRed, Orchid, PaleGoldenRod, PaleGreen, PaleTurquoise, PaleVioletRed,
|
|
|
|
PapayaWhip, PeachPuff, Peru, Pink, Plum, PowderBlue, Purple, RebeccaPurple, Red, RosyBrown, RoyalBlue, SaddleBrown,
|
|
|
|
Salmon, SandyBrown, SeaGreen, SeaShell, Sienna, Silver, SkyBlue, SlateBlue, SlateGray, SlateGrey, Snow, SpringGreen,
|
2017-05-22 03:24:05 -04:00
|
|
|
SteelBlue, Tan, Teal, Thistle, Tomato, Turquoise, Violet, Wheat, White, WhiteSmoke, Yellow, YellowGreen
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```
|
|
|
|
background: #FF0000;
|
|
|
|
foreground: rgba(0,0,1, 0.5);
|
2017-05-18 01:59:37 -04:00
|
|
|
text: SeaGreen;
|
2017-04-03 11:39:09 -04:00
|
|
|
```
|
|
|
|
|
|
|
|
## Text style
|
|
|
|
|
2017-05-18 12:04:52 -04:00
|
|
|
* Format: `(bold|italic|underline|strikethrough|none)`
|
2017-04-03 11:39:09 -04:00
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Text style indicates how the highlighted text is emphasized. `None` indicates that no emphasis
|
2017-04-03 11:39:09 -04:00
|
|
|
should be applied.
|
|
|
|
|
2017-05-22 03:24:05 -04:00
|
|
|
* `bold`: make the text thicker then the surrounding text.
|
|
|
|
* `italic`: put the highlighted text in script type (slanted).
|
|
|
|
* `underline`: put a line under the highlighted text.
|
|
|
|
* `strikethrough`: put a line through the highlighted text.
|
|
|
|
* `small caps`: emphasise the text using capitalization.
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
> For some reason `small caps` does not work on some systems.
|
2017-07-26 05:47:47 -04:00
|
|
|
|
2017-04-03 11:39:09 -04:00
|
|
|
## Line style
|
|
|
|
|
|
|
|
* Format: `(dash|solid)`
|
|
|
|
|
|
|
|
Indicates how a line should be drawn.
|
|
|
|
It currently supports:
|
2017-08-13 13:19:19 -04:00
|
|
|
* `dash`: a dashed line, where the gap is the same width as the dash
|
|
|
|
* `solid`: a solid line
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
## Distance
|
|
|
|
|
|
|
|
* Format: `{Integer}px`
|
|
|
|
* Format: `{Real}em`
|
2017-09-10 10:09:53 -04:00
|
|
|
* Format: `{Real}ch`
|
2017-04-03 11:39:09 -04:00
|
|
|
* Format: `{Real}%`
|
|
|
|
|
|
|
|
A distance can be specified in 3 different units:
|
|
|
|
|
|
|
|
* `px`: Screen pixels.
|
2017-09-10 10:09:53 -04:00
|
|
|
* `em`: Relative to text height.
|
|
|
|
* `ch`: Relative to width of a single number.
|
2017-04-03 11:39:09 -04:00
|
|
|
* `%`: Percentage of the **monitor** size.
|
|
|
|
|
|
|
|
Distances used in the horizontal direction use the monitor width. Distances in
|
|
|
|
the vertical direction use the monitor height.
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```
|
|
|
|
padding: 10%;
|
|
|
|
```
|
2017-08-13 13:19:19 -04:00
|
|
|
On a full-HD (1920x1080) monitor, it defines a padding of 192 pixels on the left
|
2017-04-03 11:39:09 -04:00
|
|
|
and right side and 108 pixels on the top and bottom.
|
|
|
|
|
|
|
|
## Padding
|
|
|
|
|
|
|
|
* Format: `{Integer}`
|
|
|
|
* Format: `{Distance}`
|
|
|
|
* Format: `{Distance} {Distance}`
|
|
|
|
* Format: `{Distance} {Distance} {Distance}`
|
|
|
|
* Format: `{Distance} {Distance} {Distance} {Distance}`
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
If no unit is specified, pixels are used.
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
The different number of fields in the formats are parsed like:
|
|
|
|
|
|
|
|
* 1 field: `all`
|
|
|
|
* 2 fields: `top&bottom` `left&right`
|
|
|
|
* 3 fields: `top`, `left&right`, `bottom`
|
|
|
|
* 4 fields: `top`, `right`, `bottom`, `left`
|
|
|
|
|
|
|
|
|
|
|
|
## Border
|
|
|
|
|
|
|
|
* 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-08-13 13:19:19 -04:00
|
|
|
Borders are identical to padding, except that each distance field has a line
|
2017-04-03 11:39:09 -04:00
|
|
|
style property.
|
|
|
|
|
|
|
|
## Position
|
|
|
|
|
2017-07-26 05:47:47 -04:00
|
|
|
Indicate a place on the window/monitor.
|
|
|
|
|
|
|
|
* Format: `(center|east|north|west|south|north east|north west|south west|south east)`
|
|
|
|
|
|
|
|
```
|
|
|
|
|
|
|
|
north west | north | north east
|
|
|
|
-------------|-------------|------------
|
|
|
|
west | center | east
|
|
|
|
-------------|-------------|------------
|
|
|
|
south west | south | south east
|
|
|
|
```
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
## Reference
|
|
|
|
|
|
|
|
* Format: `@{PROPERTY NAME}`
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
A reference can point to another reference. Currently, the maximum number of redirects is 20.
|
2017-04-03 11:39:09 -04:00
|
|
|
A property always refers to another property. It cannot be used for a subpart of the property.
|
2017-08-13 13:19:19 -04:00
|
|
|
For example, this is not valid:
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
highlight: bold @pink;
|
|
|
|
```
|
|
|
|
|
2017-07-26 05:47:47 -04:00
|
|
|
But this is:
|
|
|
|
|
|
|
|
```
|
|
|
|
* {
|
|
|
|
myhigh: bold #FAA;
|
|
|
|
}
|
|
|
|
|
|
|
|
#window {
|
|
|
|
highlight: @myhigh;
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
2017-07-25 02:13:07 -04:00
|
|
|
## Orientation
|
|
|
|
|
|
|
|
* Format: `(horizontal|vertical)`
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Specify the orientation of the widget.
|
2017-07-25 02:13:07 -04:00
|
|
|
|
2017-07-24 10:26:14 -04:00
|
|
|
## List of keywords
|
2017-04-03 11:39:09 -04:00
|
|
|
|
2017-07-24 10:26:14 -04:00
|
|
|
* Format: `[ keyword, keyword ]`
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
A list starts with a '[' and ends with a ']'. The entries in the list are comma-separated.
|
2017-07-24 10:26:14 -04:00
|
|
|
The `keyword` in the list refers to an widget name.
|
2017-04-03 11:39:09 -04:00
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
## Inherit
|
|
|
|
|
|
|
|
* Format: `inherit`
|
|
|
|
|
|
|
|
Inherits the property from its parent widget.
|
|
|
|
|
|
|
|
```
|
|
|
|
#mainbox {
|
|
|
|
border-color: inherit;
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
|
2017-04-03 11:39:09 -04:00
|
|
|
## ELEMENTS PATHS
|
|
|
|
|
|
|
|
Element paths exists of two parts, the first part refers to the actual widget by name.
|
|
|
|
Some widgets have an extra state.
|
|
|
|
|
|
|
|
For example:
|
|
|
|
|
|
|
|
```
|
2017-09-10 10:09:53 -04:00
|
|
|
#element selected {
|
2017-04-03 11:39:09 -04:00
|
|
|
}
|
|
|
|
```
|
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
Here `#element selected` is the name of the widget, `selected` is the state of the widget.
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
The difference between dots and spaces is purely cosmetic. These are all the same:
|
|
|
|
|
|
|
|
```
|
2017-09-10 10:09:53 -04:00
|
|
|
#element .selected {
|
|
|
|
|
|
|
|
#element.selected {
|
2017-04-03 11:39:09 -04:00
|
|
|
}
|
2017-09-10 10:09:53 -04:00
|
|
|
#element selected {
|
2017-04-03 11:39:09 -04:00
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
## SUPPORTED ELEMENT PATH
|
|
|
|
|
|
|
|
## Name
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The current widgets available in **rofi**:
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
* `#window`
|
2017-09-10 10:09:53 -04:00
|
|
|
* `#overlay`: the overlay widget.
|
|
|
|
* `#mainbox`: The mainbox box.
|
|
|
|
* `#inputbar`: The input bar box.
|
|
|
|
* `#box`: the horizontal @box packing the widgets
|
|
|
|
* `#case-indicator`: the case/sort indicator @textbox
|
|
|
|
* `#prompt`: the prompt @textbox
|
|
|
|
* `#entry`: the main entry @textbox
|
|
|
|
* `#listview`: The listview.
|
|
|
|
* `#scrollbar`: the listview scrollbar
|
|
|
|
* `#element`: the entries in the listview
|
|
|
|
* `#sidebar`: the main horizontal @box packing the buttons.
|
|
|
|
* `#button`: the buttons @textbox for each mode
|
|
|
|
* `#message`: The container holding the textbox.
|
|
|
|
* `#textbox`: the message textbox
|
2017-04-03 11:39:09 -04:00
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Note that these path names match the default theme. Themes that provide a custom layout will have different
|
2017-07-25 02:25:21 -04:00
|
|
|
element paths.
|
|
|
|
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
## State
|
|
|
|
|
|
|
|
State: State of widget
|
|
|
|
|
|
|
|
Optional flag(s) indicating state of the widget, used for theming.
|
|
|
|
|
|
|
|
These are appended after the name or class of the widget.
|
|
|
|
|
|
|
|
### Example:
|
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
`#button selected.normal { }`
|
2017-04-03 11:39:09 -04:00
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
`#element selected.urgent { }`
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
Currently only the entrybox and scrollbar have states:
|
|
|
|
|
|
|
|
### Entrybox:
|
|
|
|
|
|
|
|
`{visible modifier}.{state}`
|
|
|
|
|
|
|
|
Where `visible modifier` can be:
|
2017-08-13 13:19:19 -04:00
|
|
|
* normal: no modification
|
|
|
|
* selected: the entry is selected/highlighted by user
|
|
|
|
* alternate: the entry is at an alternating row (uneven row)
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
Where `state` is:
|
2017-08-13 13:19:19 -04:00
|
|
|
* normal: no modification
|
|
|
|
* urgent: this entry is marked urgent
|
|
|
|
* active: this entry is marked active
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
These can be mixed.
|
|
|
|
|
|
|
|
Example:
|
|
|
|
|
|
|
|
```
|
2017-09-10 10:09:53 -04:00
|
|
|
#nametotextbox selected.active {
|
2017-04-03 11:39:09 -04:00
|
|
|
background: #003642;
|
|
|
|
foreground: #008ed4;
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
|
|
|
Sets all selected textboxes marked active to the given foreground and background color.
|
|
|
|
|
|
|
|
### Scrollbar
|
|
|
|
|
|
|
|
The scrollbar uses the `handle` state when drawing the small scrollbar handle.
|
|
|
|
This allows the colors used for drawing the handle to be set independently.
|
|
|
|
|
|
|
|
|
|
|
|
## SUPPORTED PROPERTIES
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The following properties are currently supported:
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
### all widgets:
|
|
|
|
|
|
|
|
* **padding**: padding
|
2017-08-13 13:19:19 -04:00
|
|
|
Padding on the inside of the widget
|
2017-04-03 11:39:09 -04:00
|
|
|
* **margin**: padding
|
2017-08-13 13:19:19 -04:00
|
|
|
Margin on the outside of the widget
|
2017-04-03 11:39:09 -04:00
|
|
|
* **border**: border
|
|
|
|
Border around the widget (between padding and margin)/
|
|
|
|
* **border-radius**: padding
|
|
|
|
Sets a radius on the corners of the borders.
|
|
|
|
* **background**: color
|
2017-08-13 13:19:19 -04:00
|
|
|
Background color
|
2017-04-03 11:39:09 -04:00
|
|
|
* **foreground**: color
|
2017-08-13 13:19:19 -04:00
|
|
|
Foreground color
|
|
|
|
* **index**: integer (This one does not inherit it value from the parent widget)
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
### window:
|
|
|
|
|
|
|
|
* **font**: string
|
2017-08-13 13:19:19 -04:00
|
|
|
The font used in the window
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
* **transparency**: string
|
|
|
|
Indicating if transparency should be used and what type:
|
|
|
|
**real** - True transparency. Only works with a compositor.
|
|
|
|
**background** - Take a screenshot of the background image and use that.
|
|
|
|
**screenshot** - Take a screenshot of the screen and use that.
|
|
|
|
**Path** to png file - Use an image.
|
|
|
|
|
|
|
|
* **position**: position
|
2017-08-13 13:19:19 -04:00
|
|
|
The place of the anchor on the monitor
|
2017-04-03 11:39:09 -04:00
|
|
|
* **anchor**: anchor
|
2017-08-13 13:19:19 -04:00
|
|
|
The anchor position on the window
|
2017-04-03 11:39:09 -04:00
|
|
|
* **fullscreen**: boolean
|
|
|
|
Window is fullscreen.
|
|
|
|
* **width**: distance
|
2017-08-13 13:19:19 -04:00
|
|
|
The width of the window
|
2017-04-03 11:39:09 -04:00
|
|
|
* **x-offset**: distance
|
|
|
|
* **y-offset**: distance
|
2017-08-13 13:19:19 -04:00
|
|
|
The offset of the window to the anchor point, allowing you to push the window left/right/up/down
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
|
|
|
|
### scrollbar:
|
|
|
|
|
2017-09-09 16:09:02 -04:00
|
|
|
* **background-color**: color
|
|
|
|
* **handle-width**: distance
|
|
|
|
* **handle-color**: color
|
|
|
|
* **border-color**: color
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
### box:
|
|
|
|
|
2017-07-25 02:13:07 -04:00
|
|
|
* **orientation**: orientation
|
|
|
|
Set the direction the elements are packed.
|
2017-04-03 11:39:09 -04:00
|
|
|
* **spacing**: distance
|
|
|
|
Distance between the packed elements.
|
|
|
|
|
|
|
|
### textbox:
|
|
|
|
|
2017-07-25 02:25:21 -04:00
|
|
|
* **background**: color
|
|
|
|
* **foreground**: color
|
2017-08-13 13:19:19 -04:00
|
|
|
* **font**: the font used by this textbox (string)
|
|
|
|
* **str**: the string to display by this textbox (string)
|
|
|
|
* **vertical-align**: vertical alignment of the text (`0` top, `1` bottom)
|
|
|
|
* **horizontal-align**: horizontal alignment of the text (`0` left, `1` right)
|
|
|
|
* **text**: the text color to use (falls back to foreground if not set)
|
|
|
|
* **highlight**: text style {color}
|
|
|
|
color is optional, multiple highlight styles can be added like: bold underline italic #000000;
|
|
|
|
* **width**: override the desired width for the textbox
|
2017-04-03 11:39:09 -04:00
|
|
|
|
|
|
|
### listview:
|
|
|
|
* **columns**: integer
|
2017-08-13 13:19:19 -04:00
|
|
|
Number of columns to show (at least 1)
|
2017-04-03 11:39:09 -04:00
|
|
|
* **fixed-height**: boolean
|
2017-08-13 13:19:19 -04:00
|
|
|
Always show `lines` rows, even if fewer elements are available.
|
2017-04-03 11:39:09 -04:00
|
|
|
* **dynamic**: boolean
|
2017-08-13 13:19:19 -04:00
|
|
|
`True` if the size should change when filtering the list, `False` if it should keep the original height.
|
2017-04-03 11:39:09 -04:00
|
|
|
* **scrollbar**: boolean
|
|
|
|
If the scrollbar should be enabled/disabled.
|
|
|
|
* **scrollbar-width**: distance
|
|
|
|
Width of the scrollbar
|
|
|
|
* **cycle**: boolean
|
2017-08-13 13:19:19 -04:00
|
|
|
When navigating, it should wrap around
|
2017-04-03 11:39:09 -04:00
|
|
|
* **spacing**: distance
|
|
|
|
Spacing between the elements (both vertical and horizontal)
|
|
|
|
* **lines**: integer
|
|
|
|
Number of rows to show in the list view.
|
2017-07-25 02:13:07 -04:00
|
|
|
* **layout**: orientation
|
|
|
|
Indicate how elements are stacked. Horizontal implements the dmenu style.
|
2017-04-04 02:38:21 -04:00
|
|
|
|
2017-07-24 03:57:53 -04:00
|
|
|
## Layout
|
|
|
|
|
2017-07-24 08:36:31 -04:00
|
|
|
The new format allows the layout of the **rofi** window to be tweaked extensively.
|
2017-08-13 13:19:19 -04:00
|
|
|
For each widget, the themer can specify padding, margin, border, font, and more.
|
|
|
|
It even allows, as an advanced feature, to pack widgets in a custom structure.
|
2017-07-24 08:36:31 -04:00
|
|
|
|
|
|
|
### Basic structure
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The whole view is made out of boxes that pack other boxes or widgets.
|
|
|
|
The box can be vertical or horizontal. This is loosely inspired by [GTK](http://gtk.org/).
|
2017-07-24 08:36:31 -04:00
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The current layout of **rofi** is structured as follows:
|
2017-07-24 08:36:31 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
|------------------------------------------------------------------------------------|
|
|
|
|
| #window {BOX:vertical} |
|
|
|
|
| |-------------------------------------------------------------------------------| |
|
2017-09-09 16:09:02 -04:00
|
|
|
| | #mainbox {BOX:vertical} | |
|
2017-07-24 08:36:31 -04:00
|
|
|
| | |---------------------------------------------------------------------------| | |
|
2017-09-09 16:09:02 -04:00
|
|
|
| | | #inputbar {BOX:horizontal} | | |
|
|
|
|
| | | |---------| |-----------------------------------------------------| |---| | | |
|
|
|
|
| | | | #prompt | | #entry | |#ci| | | |
|
|
|
|
| | | |---------| |-----------------------------------------------------| |---| | | |
|
2017-07-24 08:36:31 -04:00
|
|
|
| | |---------------------------------------------------------------------------| | |
|
|
|
|
| | | |
|
|
|
|
| | |---------------------------------------------------------------------------| | |
|
2017-09-09 16:09:02 -04:00
|
|
|
| | | #message | | |
|
|
|
|
| | | |-----------------------------------------------------------------------| | | |
|
|
|
|
| | | | #textbox | | | |
|
|
|
|
| | | |-----------------------------------------------------------------------| | | |
|
2017-07-24 08:36:31 -04:00
|
|
|
| | |---------------------------------------------------------------------------| | |
|
|
|
|
| | | |
|
|
|
|
| | |-----------------------------------------------------------------------------| |
|
2017-09-09 16:09:02 -04:00
|
|
|
| | | #listview | |
|
2017-07-24 08:36:31 -04:00
|
|
|
| | |-----------------------------------------------------------------------------| |
|
|
|
|
| | | |
|
|
|
|
| | |---------------------------------------------------------------------------| | |
|
2017-09-09 16:09:02 -04:00
|
|
|
| | | #sidebar {BOX:horizontal} | | |
|
2017-07-24 08:36:31 -04:00
|
|
|
| | | |---------------| |---------------| |--------------| |---------------| | | |
|
|
|
|
| | | | Button | | Button | | Button | | Button | | | |
|
|
|
|
| | | |---------------| |---------------| |--------------| |---------------| | | |
|
|
|
|
| | |---------------------------------------------------------------------------| | |
|
|
|
|
| |-------------------------------------------------------------------------------| |
|
|
|
|
|------------------------------------------------------------------------------------|
|
|
|
|
|
|
|
|
|
|
|
|
```
|
2017-08-13 13:19:19 -04:00
|
|
|
> ci is the case-indicator
|
2017-07-24 08:36:31 -04:00
|
|
|
|
|
|
|
### Advanced layout
|
|
|
|
|
|
|
|
The layout of **rofi** can be tweaked by packing the 'fixed' widgets in a custom structure.
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The following widgets are fixed, as they provide core **rofi** functionality:
|
2017-07-24 08:36:31 -04:00
|
|
|
|
|
|
|
* prompt
|
|
|
|
* entry
|
|
|
|
* case-indicator
|
|
|
|
* message
|
|
|
|
* listview
|
|
|
|
* sidebar
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The following keywords are defined and can be used to automatically pack a subset of the widgets.
|
|
|
|
These are used in the default theme as depicted in the figure above.
|
2017-07-24 08:36:31 -04:00
|
|
|
|
|
|
|
* mainbox
|
|
|
|
Packs: `inputbar, message, listview, sidebar`
|
|
|
|
* inputbar
|
|
|
|
Packs: `prompt,entry,case-indicator`
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Any widget name starting with `textbox` is a textbox widget, others are box widgets and can pack other widgets.
|
|
|
|
To specify children, set the `children`
|
2017-07-24 08:36:31 -04:00
|
|
|
property (this always happens on the `box` child, see example below):
|
|
|
|
|
|
|
|
```
|
|
|
|
children: [prompt,entry,case-indicator];
|
|
|
|
```
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The theme needs to be updated to match the hierarchy specified.
|
2017-07-24 08:36:31 -04:00
|
|
|
|
|
|
|
Below is an example of a theme emulating dmenu:
|
|
|
|
|
|
|
|
```css
|
|
|
|
* {
|
|
|
|
background: Black;
|
|
|
|
foreground: White;
|
|
|
|
font: "Times New Roman 12";
|
|
|
|
}
|
|
|
|
|
|
|
|
#window {
|
|
|
|
anchor: north;
|
|
|
|
location: north;
|
|
|
|
width: 100%;
|
|
|
|
padding: 4px;
|
|
|
|
children: [ horibox ];
|
|
|
|
}
|
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
#horibox {
|
2017-07-24 08:36:31 -04:00
|
|
|
orientation: horizontal;
|
|
|
|
children: [ prompt, entry, listview ];
|
|
|
|
}
|
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
#listview {
|
2017-07-24 08:36:31 -04:00
|
|
|
layout: horizontal;
|
|
|
|
spacing: 5px;
|
|
|
|
lines: 10;
|
|
|
|
}
|
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
#entry {
|
2017-07-24 08:36:31 -04:00
|
|
|
expand: false;
|
|
|
|
width: 10em;
|
|
|
|
}
|
|
|
|
|
2017-09-10 10:09:53 -04:00
|
|
|
#element {
|
2017-07-24 08:36:31 -04:00
|
|
|
padding: 0px 2px;
|
|
|
|
}
|
2017-09-10 10:09:53 -04:00
|
|
|
#element selected {
|
2017-07-24 08:36:31 -04:00
|
|
|
background: SteelBlue;
|
|
|
|
}
|
|
|
|
```
|
|
|
|
|
2017-07-24 03:57:53 -04:00
|
|
|
### Padding and margin
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Just like CSS, **rofi** uses the box model for each widget.
|
2017-07-24 03:57:53 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
|-------------------------------------------------------------------|
|
|
|
|
| margin |
|
|
|
|
| |-------------------------------------------------------------| |
|
|
|
|
| | border | |
|
|
|
|
| | |---------------------------------------------------------| | |
|
|
|
|
| | | padding | | |
|
|
|
|
| | | |-----------------------------------------------------| | | |
|
|
|
|
| | | | content | | | |
|
|
|
|
| | | |-----------------------------------------------------| | | |
|
|
|
|
| | |---------------------------------------------------------| | |
|
|
|
|
| |-------------------------------------------------------------| |
|
|
|
|
|-------------------------------------------------------------------|
|
|
|
|
```
|
|
|
|
|
|
|
|
Explanation of the different parts:
|
|
|
|
|
|
|
|
* Content - The content of the widget.
|
|
|
|
* Padding - Clears an area around the widget.
|
|
|
|
The padding shows the background color of the widget.
|
|
|
|
* Border - A border that goes around the padding and content.
|
|
|
|
The border use the foreground color of the widget.
|
|
|
|
* Margin - Clears an area outside the border.
|
2017-08-13 13:19:19 -04:00
|
|
|
The margin is transparent.
|
2017-07-24 03:57:53 -04:00
|
|
|
|
2017-07-24 08:36:31 -04:00
|
|
|
The box model allows us to add a border around elements, and to define space between elements.
|
2017-07-24 03:57:53 -04:00
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
The size of each margin, border, and padding can be set.
|
|
|
|
For the border, a linestyle and radius can be set.
|
2017-07-24 03:57:53 -04:00
|
|
|
|
|
|
|
### Spacing
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Widgets that can pack more then one child widget (currently box and listview) have the `spacing` property.
|
|
|
|
This property sets the distance between the packed widgets (both horizontally and vertically).
|
2017-07-24 03:57:53 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
|---------------------------------------|
|
|
|
|
| |--------| s |--------| s |-------| |
|
|
|
|
| | child | p | child | p | child | |
|
|
|
|
| | | a | | a | | |
|
|
|
|
| | | c | | c | | |
|
|
|
|
| | | i | | i | | |
|
|
|
|
| | | n | | n | | |
|
|
|
|
| |--------| g |--------| g |-------| |
|
|
|
|
|---------------------------------------|
|
|
|
|
```
|
|
|
|
|
|
|
|
### Advanced box packing
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
More dynamic spacing can be achieved by adding dummy widgets, for example to make one widget centered:
|
2017-07-24 03:57:53 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
|--------------------------------------------|
|
|
|
|
| |-----------| |--------| |-----------| |
|
|
|
|
| | dummy | | child | | dummy | |
|
|
|
|
| | expand: y | | | | expand: y | |
|
|
|
|
| | | | | | | |
|
|
|
|
| | | | | | | |
|
|
|
|
| | | | | | | |
|
|
|
|
| |-----------| |--------| |-----------| |
|
|
|
|
|--------------------------------------------|
|
|
|
|
```
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
If both dummy widgets are set to expand, `child` will be centered. Depending on the `expand` flag of child the
|
2017-07-24 03:57:53 -04:00
|
|
|
remaining space will be equally divided between both dummy and child widget (expand enabled), or both dummy widgets
|
|
|
|
(expand disabled).
|
|
|
|
|
2017-07-25 02:13:07 -04:00
|
|
|
## DEBUGGING
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
To get debug information from the parser, run rofi like:
|
2017-07-25 02:13:07 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
G_MESSAGES_DEBUG=Parser rofi -show run
|
|
|
|
```
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Syntax errors are shown in a popup and printed out to command line with the above command.
|
2017-07-25 02:13:07 -04:00
|
|
|
|
|
|
|
To see the elements queried during running, run:
|
|
|
|
|
|
|
|
```
|
|
|
|
G_MESSAGES_DEBUG=Theme rofi -show run
|
|
|
|
```
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
To test minor changes, part of the theme can be passed on the command line, for example to set it to full-screen:
|
2017-07-25 02:13:07 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
rofi -theme-str '#window { fullscreen:true;}' -show run
|
|
|
|
```
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
To print the current theme, run:
|
2017-07-25 02:13:07 -04:00
|
|
|
|
|
|
|
```
|
|
|
|
rofi -dump-theme
|
|
|
|
```
|
|
|
|
|
2017-07-24 03:57:53 -04:00
|
|
|
|
2017-04-04 02:38:21 -04:00
|
|
|
## EXAMPLES
|
|
|
|
|
2017-08-13 13:19:19 -04:00
|
|
|
Several examples are installed together with **rofi**. These can be found in `{datadir}/rofi/themes/`, where
|
|
|
|
`{datadir}` is the install path of **rofi** data. When installed using a package manager, this is usually: `/usr/share/`.
|
2017-04-04 02:38:21 -04:00
|
|
|
|
|
|
|
## SEE ALSO
|
|
|
|
|
|
|
|
rofi(1)
|