mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-08 17:45:24 +02:00
Code Issues Wiki Activity

need to refresh registry, not event firer

Browse source
This commit is contained in:
David McKnight 2007-01-11 14:56:46 +00:00
parent e55afd6fa4
commit da623f63a7
1 changed files with 9 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
rse/plugins/org.eclipse.rse.ui/model/org/eclipse/rse/model/SystemRegistry.java
View file

@ -2200,13 +2200,14 @@ public class SystemRegistry implements ISystemRegistryUI, ISystemModelChangeEven
} }
FireNewHostEvents fire = new FireNewHostEvents(conn, subSystems); FireNewHostEvents fire = new FireNewHostEvents(conn, subSystems, this);
Display.getDefault().asyncExec(fire); Display.getDefault().syncExec(fire);
} }
RSEUIPlugin.getThePersistenceManager().commit(conn);
SystemPreferencesManager.getPreferencesManager().setConnectionNamesOrder(); // update preferences order list SystemPreferencesManager.getPreferencesManager().setConnectionNamesOrder(); // update preferences order list
RSEUIPlugin.getThePersistenceManager().commit(conn);
return conn; return conn;
} }
@ -2215,16 +2216,18 @@ public class SystemRegistry implements ISystemRegistryUI, ISystemModelChangeEven
{ {
private ISubSystem[] subSystems; private ISubSystem[] subSystems;
private IHost conn; private IHost conn;
public FireNewHostEvents(IHost host, ISubSystem[] subSystems) private ISystemRegistry reg;
public FireNewHostEvents(IHost host, ISubSystem[] subSystems, ISystemRegistry registry)
{ {
this.subSystems= subSystems; this.subSystems= subSystems;
this.conn = host; this.conn = host;
this.reg = registry;
} }
public void run() public void run()
{ {
int eventType = ISystemResourceChangeEvents.EVENT_ADD_RELATIVE; int eventType = ISystemResourceChangeEvents.EVENT_ADD_RELATIVE;
SystemResourceChangeEvent event = new SystemResourceChangeEvent(conn, eventType, this); SystemResourceChangeEvent event = new SystemResourceChangeEvent(conn, eventType, reg);
//event.setPosition(pool.getConnectionPosition(conn)); //event.setPosition(pool.getConnectionPosition(conn));
//event.setPosition(getConnectionPositionInView(conn)); //event.setPosition(getConnectionPositionInView(conn));
event.setRelativePrevious(getPreviousHost(conn)); event.setRelativePrevious(getPreviousHost(conn));