W3C home > Mailing lists > Public > www-jigsaw@w3.org > May to June 2004

A minor request for the JigAdmin

From: Laird, Brian <BLaird@perseco.com>
Date: Tue, 1 Jun 2004 16:32:19 -0500
Message-ID: <45A6279F82E4CA4BBDC0F4EFC7B6A2FE127FC2@atlas.perseco.com>
To: "Yves Lafon" <ylafon@w3.org>, <www-jigsaw@w3.org>
Cc: "Michalak, Michael" <MMichalak@perseco.com>, "Hady, Jeff" <JHady@perseco.com>, "NextGen" <nextgen@perseco.com>
Due to the fact that we have had to add a number of servers into our
jigsaw configuration, I was wondering if we could request one or both of
the following fixes:

 

1)       Make the server list on the left of the jigadmin scrollable.
You can obviously make this fancier by setting some sort of threshold
(like 3 or more servers) before you add the scrollable pane.  Below is
the suggested code (in bold) I would add to the ServerBrowser.java file
in the build() method:

 

      JPanel serverListPanel = new JPanel( new BorderLayout() );

      serverListPanel.add(serverList, BorderLayout.NORTH);

 
serverListPanel.setBorder(BorderFactory.createEmptyBorder(1,0,0,0));

      JScrollPane scrollableServerList = new
JScrollPane(serverListPanel);

 

      setLayout(new BorderLayout());

      add(scrollableServerList, BorderLayout.WEST);

      add(serverPanel, BorderLayout.CENTER);

      setBorder(BorderFactory.createLoweredBevelBorder());

 

2)      Add a JVM parameter to disable the server icon.  This can also
be done as a command line parameter, but it seemed easier to just do it
as a JVM parameter.  This is the code I would suggest (in bold) to be
added to the ServerList.java file in the build() method:

 

          if
("TRUE".equalsIgnoreCase(System.getProperty("ShowServerIcons", "TRUE")))

            b = new JButton(servers[i], icon);

          else

            b = new JButton(servers[i]);

          b.setVerticalTextPosition(AbstractButton.BOTTOM);

          b.setHorizontalTextPosition(AbstractButton.CENTER);

          b.setActionCommand(servers[i]);

          b.addActionListener(al);

          b.setMargin(Utilities.insets2);

          b.setToolTipText("Load or reload the configuration of "+

                       servers[i]);

          //b.setBorder(BorderFactory.createRaisedBevelBorder());

          add(b);

 

I have tested both changes on my local source code and it didn't seem to
be a problem.  Let me know if you have any questions or comments.  

 

Thanks,

Brian


************************************************************************
This e-mail and any accompanying documents or files contain information that is the 
property of Perseco, that is intended solely for those to whom this e-mail is addressed 
(i.e., those identified in the "To" and "Cc" boxes), and that is confidential, proprietary, 
and/or privileged.  If you are not an intended recipient of this e-mail, you are hereby 
notified that any viewing, use, disclosure, forwarding, copying, or distribution of any of 
this information is strictly prohibited and may be subject to legal sanctions.  If you have 
received this e-mail in error, please notify the sender immediately of any unintended 
recipients, and delete the e-mail, all attachments, and all copies of both from your system.

While we have taken reasonable precautions to ensure that any attachments to this e-mail 
have been swept for viruses, we cannot accept liability for any damage sustained as a 
result of software viruses.
************************************************************************
Received on Tuesday, 1 June 2004 17:31:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:37 GMT