diff options
Diffstat (limited to 'src/documentstyle.cpp')
| -rw-r--r-- | src/documentstyle.cpp | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/documentstyle.cpp b/src/documentstyle.cpp index 31795d6..474f947 100644 --- a/src/documentstyle.cpp +++ b/src/documentstyle.cpp @@ -134,7 +134,11 @@ DocumentStyle::DocumentStyle(bool do_init) : theme(Fixed), cross_scheme_link_color(0x09, 0x60, 0xa7), internal_link_prefix("→ "), external_link_prefix("⇒ "), - margin(55.0) + margin(55.0), + ansi_colors({"black", "darkred", "darkgreen", "darkgoldenrod", + "darkblue", "darkmagenta", "darkcyan", "lightgray", + "gray", "red", "green", "goldenrod", + "lightblue", "magenta", "cyan", "white"}) { if (do_init) this->initialiseDefaultFonts(); } @@ -217,6 +221,8 @@ bool DocumentStyle::save(QSettings &settings) const settings.setValue("margins", margin); + settings.setValue("ansi_colors", ansi_colors); + { settings.beginGroup("Standard"); settings.setValue("font", standard_font.toString()); @@ -303,6 +309,12 @@ bool DocumentStyle::load(QSettings &settings) margin = settings.value("margins", 55).toInt(); + QStringList default_colors = {"black", "darkred", "darkgreen", "darkgoldenrod", + "darkblue", "darkmagenta", "darkcyan", "lightgray", + "gray", "red", "green", "goldenrod", + "lightblue", "magenta", "cyan", "white"}; + ansi_colors = settings.value("ansi_colors", default_colors).toStringList(); + { settings.beginGroup("Standard"); standard_font.fromString(settings.value("font", standard_font.toString()).toString()); |