package miaou-core
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=60a3b9f181f24572a06a9492532bfdda
sha512=fcc35a275066be2900e6201782faf47503076fa4640f08cf78067835a6f447b74613009e55b2ac799adb7ca46f1bffa261fc5971753f2cc3c6bef327511c7ef6
doc/miaou-core.style/Miaou_style/Builtin_themes/index.html
Module Miaou_style.Builtin_themesSource
Built-in themes inspired by popular color schemes.
These themes are embedded directly in the library for easy access without requiring external files. Themes can be listed with list_builtin and loaded with get_builtin.
Available themes:
- Dark: catppuccin-mocha, dracula, nord, gruvbox-dark, tokyonight, opencode, oled
- Light: catppuccin-latte, nord-light, gruvbox-light, tokyonight-day
The opencode and oled themes use borderless style (default_border_style: "None") for a clean, minimal look. The oled theme features true black background (#000000) with soft pastel colors, optimized for OLED screens to save battery and reduce eye strain.
type builtin_theme = {id : string;(*Unique identifier (e.g., "catppuccin-mocha")
*)name : string;(*Display name (e.g., "Catppuccin Mocha")
*)description : string;(*Short description
*)dark_mode : bool;(*Whether this is a dark theme
*)borderless : bool;(*Whether this theme uses no borders
*)
}Theme descriptor with metadata
Theme Discovery
List all available built-in themes with metadata
List just the theme IDs (for quick iteration)
Get theme info by ID
Check if a theme ID is a built-in theme
Theme Loading
Load a built-in theme by ID. Returns None if the ID doesn't match a built-in theme.
Example:
match Builtin_themes.get_builtin "dracula" with
| Some theme -> Style_context.set_theme theme
| None -> (* fallback to default *)Get the raw JSON string for a built-in theme (for debugging/export)