[jsword-svn] bibledesktop/java/main/org/crosswire/bibledesktop/desktop s

[jswordcvs at crosswire.org]

Update of /cvs/jsword/bibledesktop/java/main/org/crosswire/bibledesktop/desktop
In directory www.crosswire.org:/tmp/cvs-serv26230/java/main/org/crosswire/bibledesktop/desktop

Modified Files:
	Desktop.java 
Log Message:
Fixed the bug where notes were being indexed by adding getVerseText as a replacement for getPlainText. The latter is still needed for non-bibles.
Also cleaned up checkstyle reports and added/corrected javadoc.

Index: Desktop.java
===================================================================
RCS file: /cvs/jsword/bibledesktop/java/main/org/crosswire/bibledesktop/desktop/Desktop.java,v
retrieving revision 1.40
retrieving revision 1.41
diff -C2 -d -r1.40 -r1.41
*** Desktop.java	6 Apr 2005 04:07:41 -0000	1.40
--- Desktop.java	2 May 2005 01:29:24 -0000	1.41
***************
*** 299,303 ****
          menuGo.add(actions.getAction(DesktopActions.BACK)).addMouseListener(barStatus);
          menuGo.add(actions.getAction(DesktopActions.FORWARD)).addMouseListener(barStatus);
!         
          JMenu menuView = new JMenu(actions.getAction(DesktopActions.VIEW));
          JCheckBoxMenuItem toggle = new JCheckBoxMenuItem(actions.getAction(XSLTProperty.START_VERSE_ON_NEWLINE.getName()));
--- 299,303 ----
          menuGo.add(actions.getAction(DesktopActions.BACK)).addMouseListener(barStatus);
          menuGo.add(actions.getAction(DesktopActions.FORWARD)).addMouseListener(barStatus);
! 
          JMenu menuView = new JMenu(actions.getAction(DesktopActions.VIEW));
          JCheckBoxMenuItem toggle = new JCheckBoxMenuItem(actions.getAction(XSLTProperty.START_VERSE_ON_NEWLINE.getName()));
***************
*** 462,466 ****
      public void bookChosen(DisplaySelectEvent ev)
      {
!         // Do nothing        
      }
  
--- 462,466 ----
      public void bookChosen(DisplaySelectEvent ev)
      {
!         // Do nothing
      }
  
***************
*** 471,475 ****
      {
          Key key = ev.getKey();
!         if (key != null && ! key.isEmpty())
          {
              // add the string because keys are heavyweights
--- 471,475 ----
      {
          Key key = ev.getKey();
!         if (key != null && !key.isEmpty())
          {
              // add the string because keys are heavyweights