From 95c15c998345fbe595d2c005535954d9d2565e23 Mon Sep 17 00:00:00 2001 From: Bruno Barbieri Date: Sun, 16 Jun 2013 00:47:42 -0300 Subject: [PATCH] Make sure the table component is updated. This was a problem under Windows. --- src/gui/Main.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/gui/Main.java b/src/gui/Main.java index 080a755..298ec71 100644 --- a/src/gui/Main.java +++ b/src/gui/Main.java @@ -624,6 +624,10 @@ public class Main implements ListSelectionListener, ActionListener, { frame.getRootPane().putClientProperty("Window.documentModified", Boolean.valueOf(status)); + + // Make sure the table component is updated + table.repaint(); + table.revalidate(); } // we implement the LanguageModel interface because we want to intercept the