vanitasvitae/Smack
1
0
Fork 0
mirror of https://github.com/vanitasvitae/Smack.git synced 2024-11-26 22:12:05 +01:00
Code Issues Releases Wiki Activity

Makes the "Smack Info" tab prettier

Browse source 
git-svn-id: http://svn.igniterealtime.org/svn/repos/smack/trunk@2208 b35dd754-fafc-0310-a699-88a17e54d16e
This commit is contained in:
Gaston Dombiak 2004-01-15 13:13:27 +00:00 committed by gdombiak
parent 3abb8b109c
commit ba65acf8c5
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
source/org/jivesoftware/smackx/debugger/EnhancedDebuggerWindow.java
View file

@ -232,9 +232,11 @@ class EnhancedDebuggerWindow {
field.setBorder(null); field.setBorder(null);
versionPanel.add(field); versionPanel.add(field);
informationPanel.add(versionPanel); informationPanel.add(versionPanel);
//informationPanel.add(Box.createVerticalGlue());
// Add the list of installed IQ Providers // Add the list of installed IQ Providers
JPanel iqProvidersPanel = new JPanel();
iqProvidersPanel.setLayout(new GridLayout(1, 1));
iqProvidersPanel.setBorder(BorderFactory.createTitledBorder("Installed IQ Providers"));
Vector providers = new Vector(); Vector providers = new Vector();
for (Iterator it = ProviderManager.getIQProviders(); it.hasNext();) { for (Iterator it = ProviderManager.getIQProviders(); it.hasNext();) {
Object provider = it.next(); Object provider = it.next();
@ -242,10 +244,13 @@ class EnhancedDebuggerWindow {
(provider.getClass() == Class.class ? provider : provider.getClass().getName())); (provider.getClass() == Class.class ? provider : provider.getClass().getName()));
} }
JList list = new JList(providers); JList list = new JList(providers);
list.setBorder(BorderFactory.createTitledBorder("Installed IQ Providers")); iqProvidersPanel.add(new JScrollPane(list));
informationPanel.add(new JScrollPane(list)); informationPanel.add(iqProvidersPanel);
// Add the list of installed Extension Providers // Add the list of installed Extension Providers
JPanel extensionProvidersPanel = new JPanel();
extensionProvidersPanel.setLayout(new GridLayout(1, 1));
extensionProvidersPanel.setBorder(BorderFactory.createTitledBorder("Installed Extension Providers"));
providers = new Vector(); providers = new Vector();
for (Iterator it = ProviderManager.getExtensionProviders(); it.hasNext();) { for (Iterator it = ProviderManager.getExtensionProviders(); it.hasNext();) {
Object provider = it.next(); Object provider = it.next();
@ -253,8 +258,8 @@ class EnhancedDebuggerWindow {
(provider.getClass() == Class.class ? provider : provider.getClass().getName())); (provider.getClass() == Class.class ? provider : provider.getClass().getName()));
} }
list = new JList(providers); list = new JList(providers);
list.setBorder(BorderFactory.createTitledBorder("Installed Extension Providers")); extensionProvidersPanel.add(new JScrollPane(list));
informationPanel.add(new JScrollPane(list)); informationPanel.add(extensionProvidersPanel);
tabbedPane.add("Smack Info", informationPanel); tabbedPane.add("Smack Info", informationPanel);