Optimise PlayerRelationsManager::clear

Previous implementation was O(n^2), doing lots of work (saving file and
updating UI) for each removed player.

1 files changed, 4 insertions, 5 deletions

diff --git a/src/gui/widgets/tablemodel.h b/src/gui/widgets/tablemodel.h
index 2e36992a..d4274e39 100644
--- a/src/gui/widgets/tablemodel.h
+++ b/src/gui/widgets/tablemodel.h
@@ -77,20 +77,19 @@ public:
      */
     virtual gcn::Widget *getElementAt(int row, int column) const = 0;
 
-    virtual void installListener(TableModelListener *listener);
-
-    virtual void removeListener(TableModelListener *listener);
+    void installListener(TableModelListener *listener);
+    void removeListener(TableModelListener *listener);
 
 protected:
     /**
      * Tells all listeners that the table is about to see an update
      */
-    virtual void signalBeforeUpdate();
+    void signalBeforeUpdate();
 
     /**
      * Tells all listeners that the table has seen an update
      */
-    virtual void signalAfterUpdate();
+    void signalAfterUpdate();
 
 private:
     std::set<TableModelListener *> listeners;