Abdel,
this code slipped in (accidentally?):
Index: src/coordcache.h
===================================================================
--- src/coordcache.h (Revision 15439)
+++ src/coordcache.h (Arbeitskopie)
@@ -45,11 +45,6 @@
data_.clear();
}
- bool const empty() const
- {
- return data_.empty();
- }
-
void add(T const * thing, int x, int y)
{
data_[thing] = Point(x, y);
Index: src/frontends/qt4/GuiWorkArea.C
===================================================================
--- src/frontends/qt4/GuiWorkArea.C (Revision 15439)
+++ src/frontends/qt4/GuiWorkArea.C (Arbeitskopie)
@@ -424,7 +424,7 @@
void GuiWorkArea::update(int x, int y, int w, int h)
{
- viewport()->repaint(x, y, w, h);
+ viewport()->update(x, y, w, h);
}