Home
last modified time | relevance | path

Searched refs:editPluginJarsPanel (Results 1 – 2 of 2) sorted by relevance

/dports/devel/staf/src/staf/services/stax/beta/monitor/
H A DSTAXMonitor.java1664 JPanel editPluginJarsPanel = new JPanel(); in createPropertiesDialog() local
1665 editPluginJarsPanel.setLayout(new BorderLayout()); in createPropertiesDialog()
1669 editPluginJarsPanel.add(BorderLayout.CENTER, in createPropertiesDialog()
1682 editPluginJarsPanel.add(BorderLayout.SOUTH, editPluginJarsButtonPanel); in createPropertiesDialog()
1687 fEditPluginJarsDialog.getContentPane().add(editPluginJarsPanel); in createPropertiesDialog()
/dports/devel/staf/src/staf/services/stax/monitor/
H A DSTAXMonitor.java1731 JPanel editPluginJarsPanel = new JPanel(); in createPropertiesDialog() local
1732 editPluginJarsPanel.setLayout(new BorderLayout()); in createPropertiesDialog()
1736 editPluginJarsPanel.add(BorderLayout.CENTER, in createPropertiesDialog()
1749 editPluginJarsPanel.add(BorderLayout.SOUTH, editPluginJarsButtonPanel); in createPropertiesDialog()
1754 fEditPluginJarsDialog.getContentPane().add(editPluginJarsPanel); in createPropertiesDialog()