deac/osd-contiki
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

minor fix: plugin's z orders restored at load config

Browse source
This commit is contained in:
fros4943 2006-12-07 15:14:19 +00:00
parent 37bbf515f2
commit 381ab927df
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
tools/cooja/java/se/sics/cooja/Simulation.java
View file

@ -26,7 +26,7 @@
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE. * SUCH DAMAGE.
* *
* $Id: Simulation.java,v 1.4 2006/11/30 14:25:44 fros4943 Exp $ * $Id: Simulation.java,v 1.5 2006/12/07 15:14:19 fros4943 Exp $
*/ */
package se.sics.cooja; package se.sics.cooja;
@ -314,6 +314,9 @@ public class Simulation extends Observable implements Runnable {
} else if (pluginSubElement.getName().equals("height")) { } else if (pluginSubElement.getName().equals("height")) {
size.height = Integer.parseInt(pluginSubElement.getText()); size.height = Integer.parseInt(pluginSubElement.getText());
openedPlugin.setSize(size); openedPlugin.setSize(size);
} else if (pluginSubElement.getName().equals("z")) {
int zOrder = Integer.parseInt(pluginSubElement.getText());
GUI.currentGUI.setComponentZOrder(openedPlugin, zOrder);
} else if (pluginSubElement.getName().equals("location_x")) { } else if (pluginSubElement.getName().equals("location_x")) {
location.x = Integer.parseInt(pluginSubElement.getText()); location.x = Integer.parseInt(pluginSubElement.getText());
openedPlugin.setLocation(location); openedPlugin.setLocation(location);
@ -396,6 +399,10 @@ public class Simulation extends Observable implements Runnable {
pluginSubElement.setText("" + openedPlugin.getSize().width); pluginSubElement.setText("" + openedPlugin.getSize().width);
pluginElement.addContent(pluginSubElement); pluginElement.addContent(pluginSubElement);
pluginSubElement = new Element("z");
pluginSubElement.setText("" + GUI.currentGUI.getComponentZOrder(openedPlugin));
pluginElement.addContent(pluginSubElement);
pluginSubElement = new Element("height"); pluginSubElement = new Element("height");
pluginSubElement.setText("" + openedPlugin.getSize().height); pluginSubElement.setText("" + openedPlugin.getSize().height);
pluginElement.addContent(pluginSubElement); pluginElement.addContent(pluginSubElement);