Hi,
I think this code can be removed. Any comments?
Michael
Index: src/frontends/controllers/ControlPrefs.C
===================================================================
--- src/frontends/controllers/ControlPrefs.C (Revision 14401)
+++ src/frontends/controllers/ControlPrefs.C (Arbeitskopie)
@@ -42,7 +42,6 @@
ControlPrefs::ControlPrefs(Dialog & parent)
: Dialog::Controller(parent),
- redraw_gui_(false),
update_screen_font_(false)
{}
@@ -55,7 +54,6 @@
converters_.update(formats_);
movers_ = ::movers;
colors_.clear();
- redraw_gui_ = false;
update_screen_font_ = false;
return true;
@@ -85,11 +83,6 @@
kernel().dispatch(FuncRequest(LFUN_SET_COLOR, *it));
colors_.clear();
- if (redraw_gui_) {
- kernel().redrawGUI();
- redraw_gui_ = false;
- }
-
if (update_screen_font_) {
kernel().dispatch(FuncRequest(LFUN_SCREEN_FONT_UPDATE));
update_screen_font_ = false;
@@ -102,12 +95,6 @@
}
-void ControlPrefs::redrawGUI()
-{
- redraw_gui_ = true;
-}
-
-
void ControlPrefs::setColor(LColor_color col, string const & hex)
{
colors_.push_back(lcolor.getLyXName(col) + ' ' + hex);
Index: src/frontends/controllers/ControlPrefs.h
===================================================================
--- src/frontends/controllers/ControlPrefs.h (Revision 14401)
+++ src/frontends/controllers/ControlPrefs.h (Arbeitskopie)
@@ -64,9 +64,6 @@
std::string const browsedir(std::string const & path,
std::string const & title) const;
- /// redraw widgets (for xforms color change)
- void redrawGUI();
-
/// set a color
void setColor(LColor_color col, std::string const & hex);
