egui/egui_demo_lib/src/easy_mark
Emil Ernerfeldt 09b8269326
Rich text for all widgets (#855)
Introduce `RichText` and `WidgetText`
2021-11-01 21:30:10 +01:00
..
easy_mark_editor.rs Add read/write of TextEdit cursor state (#848) 2021-10-27 16:30:14 +02:00
easy_mark_highlighter.rs End statements with semicolon (clippy::semicolon_if_nothing_returned) 2021-10-20 16:46:57 +02:00
easy_mark_parser.rs use map_or and map_or_else 2021-10-20 16:46:57 +02:00
easy_mark_viewer.rs Rich text for all widgets (#855) 2021-11-01 21:30:10 +01:00
mod.rs demo: highlight easymark editor field with different fonts and colors 2021-09-06 08:14:47 +02:00