Merge branch 'dev' into multi-external-editor

2022-12-11 12:11:16 -08:00
parent 793a77fc44 dcd2d3df0e
commit 5b4cf1a040
173 changed files with 62748 additions and 10699 deletions
--- a/rtgui/preferences.h
+++ b/rtgui/preferences.h
@@ -127,6 +127,7 @@ class Preferences final :
    Gtk::CheckButton* prtBPC;
    Gtk::ComboBoxText* monProfile;
    Gtk::ComboBoxText* monIntent;
+    Gtk::CheckButton* mcie;
    Gtk::CheckButton* monBPC;
    Gtk::CheckButton* cbAutoMonProfile;
    //Gtk::CheckButton* cbAutocielab;