You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

chtenb 8c68074fa6 Fix precedence of ui.virtual.whitespace (#8879) ... * Revert "Revert "Fix precedence of ui.virtual.whitespace (#8750)"" This reverts commit 811d62d3b3. * Fix ui.text overwriting the syntax highlighting Adjust ui.text description		12 months ago
..
src	Fix precedence of ui.virtual.whitespace (#8879)	12 months ago
theme	update with new mdbook index.hbs (#8445)	1 year ago
.gitignore	Add book/ (mdbook based user guide)	4 years ago
book.toml	use AND operator when searching (#7839)	1 year ago
custom.css	Fix search highlighting for the default docs theme (#8270)	1 year ago