element_51.theme

The editor’s themes: a built-in name, or a file of changes to one.

A theme is a complete look: colours, sizes and fonts. The look itself lives in the Rust core (rust/element-51-core/themes/); Python only picks a built-in one by name, and a shared test file keeps the two lists of names equal. A theme file changes some of a built-in theme’s values: Python checks its shape, and the browser checks the keys and says which one is wrong.

Functions

check_theme(name)

Return name if it is a theme, or say which names are.

resolve_theme(choice)

Turn a theme name or the path of a theme file into a theme.

Classes

ThemeChanges(*[, colours, ports, metrics, ...])

Values that replace a built-in theme's own, by section and key.

ThemeFile(*[, colours, ports, metrics, ...])

A theme file: the built-in theme to start from, and the changes.