Searched defs:portSpinner (Results 1 - 1 of 1) sorted by relevance

/openjdk7/hotspot/src/share/tools/IdealGraphVisualizer/Settings/src/com/sun/hotspot/igv/settings/
H A DViewPanel.java50 portSpinner = new javax.swing.JSpinner();
78 .add(portSpinner, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE, 63, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE)
96 .add(portSpinner, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE, org.jdesktop.layout.GroupLayout.DEFAULT_SIZE, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE)
122 portSpinner.setValue(Integer.parseInt(Settings.get().get(Settings.PORT, Settings.PORT_DEFAULT)));
128 Settings.get().put(Settings.PORT, portSpinner.getValue().toString());
142 private javax.swing.JSpinner portSpinner; field in class:ViewPanel

Completed in 28 milliseconds