4 Commits

Author	SHA1	Message	Date
Frank LENORMAND	37706d7a95	colors: Retire the bold and italic faces ... This commit removes declarations and mentions to the built-in `bold` and `italic` faces. While they could be a user-friendly way of customising how tokens are emphasised in Markdown documents (similarly to the `$LESS_TERMCAP_*` environment variables for `man` pagers), most other markup languages do not have the concept of "strong" and "emphasis" but refer directly to the font style/weight. The faces were also not even set by default to highlight as their names implied, so having markup language support scripts directly use the +b and +i face attributes is more consistent.	2020-05-15 11:56:38 +03:00
Frank LENORMAND	0c4c744362	rc: Highlight embedded documentation ... This commit adds a `documentation` face to the builtin themes, used to highlight common documentation syntaxes: /** * JavaDoc */ /*! * QtDoc */ /// Inline documentation ## Inline documentation The face is only an alias to the `comment` one for now. Closes #1944	2020-01-29 20:03:21 +01:00
Maxime Coste	d9af1e8f34	Tweak palenight colorcheme MenuInfo face	2019-11-26 21:33:27 +11:00
Jason Felice	3e91e9a0b3	Add palenight theme	2019-03-05 09:54:48 -05:00