From 271949bf140359dd97cbee9ef927ee9280c9f31f Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sat, 17 May 2008 14:55:16 +0000 Subject: Vectortimestamps work Better representation of Lamporttimestamps BerkelyTimeProtocol M trunk/ROADMAP M trunk/sources/prefs/VSPrefs.java M trunk/sources/prefs/VSDefaultPrefs.java M trunk/sources/simulator/VSMain.java M trunk/sources/simulator/VSSimulation.java M trunk/sources/simulator/VSSimulationPanel.java M trunk/sources/utils/VSFrame.java M trunk/sources/utils/VSClassLoader.java M trunk/sources/utils/VSInfoArea.java M trunk/sources/protocols/BroadcastSturmProtocol.java M trunk/sources/protocols/ExternalTimeSyncProtocol.java M trunk/sources/protocols/RegisteredProtocols.java M trunk/sources/protocols/PingPongProtocol.java M trunk/sources/protocols/InternalTimeSyncProtocol.java M trunk/sources/protocols/VSProtocol.java M trunk/sources/protocols/DummyProtocol.java A trunk/sources/protocols/BerkelyTimeProtocol.java M trunk/sources/core/VSLamport.java M trunk/sources/core/VSProcess.java A trunk/sources/core/VSTime.java A trunk/sources/core/VSVectorTime.java M trunk/sources/core/VSTask.java M trunk/sources/core/VSMessage.java M trunk/sources/editors/VSEditor.java M trunk/sources/editors/VSProtocolEditor.java M trunk/sources/editors/VSSimulationEditor.java M trunk/sources/editors/VSEditorFrame.java M trunk/sources/editors/VSProcessEditor.java --- sources/editors/VSEditorFrame.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'sources/editors/VSEditorFrame.java') diff --git a/sources/editors/VSEditorFrame.java b/sources/editors/VSEditorFrame.java index b9c14c6..1276e5b 100644 --- a/sources/editors/VSEditorFrame.java +++ b/sources/editors/VSEditorFrame.java @@ -19,16 +19,16 @@ public abstract class VSEditorFrame extends VSEditor { public VSEditorFrame(VSPrefs prefs, Component relativeTo, VSPrefs prefsToEdit, String title) { super(prefs, prefsToEdit); frame = new VSFrame(title, relativeTo); - initialize(); + init(); } public VSEditorFrame(VSPrefs prefs, Component relativeTo, VSPrefs prefsToEdit, String title, int prefsCategory) { super(prefs, prefsToEdit, prefsCategory); frame = new VSFrame(title, relativeTo); - initialize(); + init(); } - private void initialize() { + private void init() { frame.setJMenuBar(createJMenuBar()); frame.setContentPane(createContentPane()); frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); @@ -198,7 +198,7 @@ public abstract class VSEditorFrame extends VSEditor { if (ret == JFileChooser.APPROVE_OPTION) { File file = fileChooser.getSelectedFile(); - prefsToEdit = prefs = VSDefaultPrefs.initialize(file.getName()); + prefsToEdit = prefs = VSDefaultPrefs.init(file.getName()); resetEditPanel(); } -- cgit v1.2.3