diff 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
line wrap: on
line diff
--- a/dwtx/jface/text/source/SourceViewer.d	Wed Aug 27 01:57:58 2008 +0200
+++ b/dwtx/jface/text/source/SourceViewer.d	Wed Aug 27 02:07:22 2008 +0200
@@ -794,7 +794,7 @@
         final IDocument document= getDocument();
 
         if (fSelections.isEmpty()) {
-            fSelectionCategory= _SELECTION_POSITION_CATEGORY + hashCode();
+            fSelectionCategory= _SELECTION_POSITION_CATEGORY + toHash();
             fSelectionUpdater= new NonDeletingPositionUpdater(fSelectionCategory);
             document.addPositionCategory(fSelectionCategory);
             document.addPositionUpdater(fSelectionUpdater);