Revision: 18292
http://sourceforge.net/p/gate/code/18292
Author: markagreenwood
Date: 2014-09-04 18:47:57 +0000 (Thu, 04 Sep 2014)
Log Message:
-----------
some more EDT fixes that solve similar issues to the ones Adam spotted
Modified Paths:
--------------
gate/trunk/src/main/gate/gui/SerialControllerEditor.java
Modified: gate/trunk/src/main/gate/gui/SerialControllerEditor.java
===================================================================
--- gate/trunk/src/main/gate/gui/SerialControllerEditor.java 2014-09-04
18:37:01 UTC (rev 18291)
+++ gate/trunk/src/main/gate/gui/SerialControllerEditor.java 2014-09-04
18:47:57 UTC (rev 18292)
@@ -1147,9 +1147,14 @@
if(controller != null && controller.getPRs().contains(pr)){
controller.remove(pr);
}
- loadedPRsTableModel.fireTableDataChanged();
- memberPRsTableModel.fireTableDataChanged();
-// repaint(100);
+ SwingUtilities.invokeLater(new Runnable() {
+
+ @Override
+ public void run() {
+ loadedPRsTableModel.fireTableDataChanged();
+ memberPRsTableModel.fireTableDataChanged();
+ }
+ });
}
else if(e.getResource() instanceof LanguageResource) {
if(e.getResource() instanceof Corpus && corpusControllerMode) {
@@ -1204,8 +1209,15 @@
*/
@Override
public void resourceAdded(ControllerEvent evt){
- loadedPRsTableModel.fireTableDataChanged();
- memberPRsTableModel.fireTableDataChanged();
+ SwingUtilities.invokeLater(new Runnable() {
+
+ @Override
+ public void run() {
+ loadedPRsTableModel.fireTableDataChanged();
+ memberPRsTableModel.fireTableDataChanged();
+ }
+ });
+
}
/* (non-Javadoc)
@@ -1213,8 +1225,15 @@
*/
@Override
public void resourceRemoved(ControllerEvent evt){
- loadedPRsTableModel.fireTableDataChanged();
- memberPRsTableModel.fireTableDataChanged();
+ SwingUtilities.invokeLater(new Runnable() {
+
+ @Override
+ public void run() {
+ loadedPRsTableModel.fireTableDataChanged();
+ memberPRsTableModel.fireTableDataChanged();
+ }
+ });
+
}
public synchronized void addStatusListener(StatusListener l) {
This was sent by the SourceForge.net collaborative development platform, the
world's largest Open Source development site.
------------------------------------------------------------------------------
Slashdot TV.
Video for Nerds. Stuff that matters.
http://tv.slashdot.org/
_______________________________________________
GATE-cvs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gate-cvs
