comparison dwtx/jface/text/source/SourceViewer.d @ 160:3678e4f1a766

toHash, toString
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 02:07:22 +0200
parents 7926b636c282
children 1a5b8f8129df
comparison
equal deleted inserted replaced
159:7926b636c282 160:3678e4f1a766
792 792
793 final Point selection= getSelectedRange(); 793 final Point selection= getSelectedRange();
794 final IDocument document= getDocument(); 794 final IDocument document= getDocument();
795 795
796 if (fSelections.isEmpty()) { 796 if (fSelections.isEmpty()) {
797 fSelectionCategory= _SELECTION_POSITION_CATEGORY + hashCode(); 797 fSelectionCategory= _SELECTION_POSITION_CATEGORY + toHash();
798 fSelectionUpdater= new NonDeletingPositionUpdater(fSelectionCategory); 798 fSelectionUpdater= new NonDeletingPositionUpdater(fSelectionCategory);
799 document.addPositionCategory(fSelectionCategory); 799 document.addPositionCategory(fSelectionCategory);
800 document.addPositionUpdater(fSelectionUpdater); 800 document.addPositionUpdater(fSelectionUpdater);
801 } 801 }
802 802