# HG changeset patch # User Frank Benoit # Date 1219530647 -7200 # Node ID b56e9be9fe885a4e580b8e2bca011962f7975328 # Parent eb30df5ca28b0cb1e01c2be2c3b0d91af2d0a532 ctors to this diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/jface/internal/text/link/contentassist/AdditionalInfoController2.d --- a/dwtx/jface/internal/text/link/contentassist/AdditionalInfoController2.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/jface/internal/text/link/contentassist/AdditionalInfoController2.d Sun Aug 24 00:30:47 2008 +0200 @@ -90,7 +90,7 @@ super(creator); fDelay= delay; setAnchor(ANCHOR_RIGHT); - setFallbackAnchors(new Anchor[] {ANCHOR_RIGHT, ANCHOR_LEFT, ANCHOR_BOTTOM }); + setFallbackAnchors([ANCHOR_RIGHT, ANCHOR_LEFT, ANCHOR_BOTTOM ]); } /* diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/CopySourceEdit.d --- a/dwtx/text/edits/CopySourceEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/CopySourceEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -96,7 +96,7 @@ * @param offset the edit's offset * @param length the edit's length */ - public CopySourceEdit(int offset, int length) { + public this(int offset, int length) { super(offset, length); } @@ -107,7 +107,7 @@ * @param length the edit's length * @param target the edit's target */ - public CopySourceEdit(int offset, int length, CopyTargetEdit target) { + public this(int offset, int length, CopyTargetEdit target) { this(offset, length); setTargetEdit(target); } @@ -115,7 +115,7 @@ /* * Copy Constructor */ - private CopySourceEdit(CopySourceEdit other) { + private this(CopySourceEdit other) { super(other); if (other.fModifier !is null) fModifier= other.fModifier.copy(); diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/CopyTargetEdit.d --- a/dwtx/text/edits/CopyTargetEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/CopyTargetEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -55,7 +55,7 @@ * @param offset the edit's offset * @param source the corresponding source edit */ - public CopyTargetEdit(int offset, CopySourceEdit source) { + public this(int offset, CopySourceEdit source) { this(offset); setSourceEdit(source); } @@ -63,7 +63,7 @@ /* * Copy constructor */ - private CopyTargetEdit(CopyTargetEdit other) { + private this(CopyTargetEdit other) { super(other); } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/CopyingRangeMarker.d --- a/dwtx/text/edits/CopyingRangeMarker.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/CopyingRangeMarker.d Sun Aug 24 00:30:47 2008 +0200 @@ -35,14 +35,14 @@ * @param offset the marker's offset * @param length the marker's length */ - public CopyingRangeMarker(int offset, int length) { + public this(int offset, int length) { super(offset, length); } /* * Copy constructor */ - private CopyingRangeMarker(CopyingRangeMarker other) { + private this(CopyingRangeMarker other) { super(other); fText= other.fText; } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/DeleteEdit.d --- a/dwtx/text/edits/DeleteEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/DeleteEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -33,14 +33,14 @@ * @param offset the offset of the range to replace * @param length the length of the range to replace */ - public DeleteEdit(int offset, int length) { + public this(int offset, int length) { super(offset, length); } /* * Copy constructor */ - private DeleteEdit(DeleteEdit other) { + private this(DeleteEdit other) { super(other); } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/EditDocument.d --- a/dwtx/text/edits/EditDocument.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/EditDocument.d Sun Aug 24 00:30:47 2008 +0200 @@ -29,7 +29,7 @@ private StringBuffer fBuffer; - public EditDocument(String content) { + public this(String content) { fBuffer= new StringBuffer(content); } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/InsertEdit.d --- a/dwtx/text/edits/InsertEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/InsertEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -38,7 +38,7 @@ * @param offset the insertion offset * @param text the text to insert */ - public InsertEdit(int offset, String text) { + public this(int offset, String text) { super(offset, 0); Assert.isNotNull(text); fText= text; @@ -47,7 +47,7 @@ /* * Copy constructor */ - private InsertEdit(InsertEdit other) { + private this(InsertEdit other) { super(other); fText= other.fText; } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/MalformedTreeException.d --- a/dwtx/text/edits/MalformedTreeException.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/MalformedTreeException.d Sun Aug 24 00:30:47 2008 +0200 @@ -42,7 +42,7 @@ * @param child the child edit * @param message the detail message */ - public MalformedTreeException(TextEdit parent, TextEdit child, String message) { + public this(TextEdit parent, TextEdit child, String message) { super(message); fParent= parent; fChild= child; diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/MoveSourceEdit.d --- a/dwtx/text/edits/MoveSourceEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/MoveSourceEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -59,7 +59,7 @@ * @param offset the edit's offset * @param length the edit's length */ - public MoveSourceEdit(int offset, int length) { + public this(int offset, int length) { super(offset, length); } @@ -70,7 +70,7 @@ * @param length the edit's length * @param target the edit's target */ - public MoveSourceEdit(int offset, int length, MoveTargetEdit target) { + public this(int offset, int length, MoveTargetEdit target) { this(offset, length); setTargetEdit(target); } @@ -78,7 +78,7 @@ /* * Copy constructor */ - private MoveSourceEdit(MoveSourceEdit other) { + private this(MoveSourceEdit other) { super(other); if (other.fModifier !is null) fModifier= other.fModifier.copy(); @@ -90,7 +90,7 @@ * * @return the target edit or null */ - public MoveTargetEdit getTargetEdit() { + public this getTargetEdit() { return fTarget; } @@ -378,7 +378,7 @@ int end2= offset2 + length2 - 1; if (end2 < offset1) return null; - + int end= Math.min(end1, end2); if (offset1 < offset2) { return new Region(offset2, end - offset2 + 1); diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/MoveTargetEdit.d --- a/dwtx/text/edits/MoveTargetEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/MoveTargetEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -46,7 +46,7 @@ * * @param offset the edit's offset */ - public MoveTargetEdit(int offset) { + public this(int offset) { super(offset, 0); } @@ -56,7 +56,7 @@ * @param offset the edit's offset * @param source the corresponding source edit */ - public MoveTargetEdit(int offset, MoveSourceEdit source) { + public this(int offset, MoveSourceEdit source) { this(offset); setSourceEdit(source); } @@ -64,7 +64,7 @@ /* * Copy constructor */ - private MoveTargetEdit(MoveTargetEdit other) { + private this(MoveTargetEdit other) { super(other); } @@ -74,7 +74,7 @@ * * @return the source edit or null */ - public MoveSourceEdit getSourceEdit() { + public this getSourceEdit() { return fSource; } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/MultiTextEdit.d --- a/dwtx/text/edits/MultiTextEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/MultiTextEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -46,7 +46,7 @@ * any children its offset is set to the parent's offset * and its length is set to 0. */ - public MultiTextEdit() { + public this() { super(0, Integer.MAX_VALUE); fDefined= false; } @@ -61,7 +61,7 @@ * @see TextEdit#addChild(TextEdit) * @see TextEdit#addChildren(TextEdit[]) */ - public MultiTextEdit(int offset, int length) { + public this(int offset, int length) { super(offset, length); fDefined= true; } @@ -69,7 +69,7 @@ /* * Copy constructor. */ - protected MultiTextEdit(MultiTextEdit other) { + protected this(MultiTextEdit other) { super(other); } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/RangeMarker.d --- a/dwtx/text/edits/RangeMarker.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/RangeMarker.d Sun Aug 24 00:30:47 2008 +0200 @@ -31,14 +31,14 @@ * @param offset the marker's offset * @param length the marker's length */ - public RangeMarker(int offset, int length) { + public this(int offset, int length) { super(offset, length); } /* * Copy constructor */ - private RangeMarker(RangeMarker other) { + private this(RangeMarker other) { super(other); } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/ReplaceEdit.d --- a/dwtx/text/edits/ReplaceEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/ReplaceEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -36,7 +36,7 @@ * @param length the length of the range to replace * @param text the new text */ - public ReplaceEdit(int offset, int length, String text) { + public this(int offset, int length, String text) { super(offset, length); Assert.isNotNull(text); fText= text; @@ -47,7 +47,7 @@ * * @param other the edit to copy from */ - private ReplaceEdit(ReplaceEdit other) { + private this(ReplaceEdit other) { super(other); fText= other.fText; } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/TextEdit.d --- a/dwtx/text/edits/TextEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/TextEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -147,7 +147,7 @@ * @param offset the edit's offset * @param length the edit's length */ - protected TextEdit(int offset, int length) { + protected this(int offset, int length) { Assert.isTrue(offset >= 0 && length >= 0); fOffset= offset; fLength= length; @@ -159,7 +159,7 @@ * * @param source the source to copy form */ - protected TextEdit(TextEdit source) { + protected this(TextEdit source) { fOffset= source.fOffset; fLength= source.fLength; fDelta= 0; @@ -527,7 +527,7 @@ /** * Adds the string representation of this text edit without * children information to the given string buffer. - * + * * @param buffer the string buffer * @param indent the indent level in number of spaces * @since 3.3 @@ -557,9 +557,9 @@ } /** - * Adds the string representation for this text edit + * Adds the string representation for this text edit * and its children to the given string buffer. - * + * * @param buffer the string buffer * @param indent the indent level in number of spaces * @since 3.3 @@ -574,7 +574,7 @@ } } } - + //---- Copying ------------------------------------------------------------- /** diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/TextEditCopier.d --- a/dwtx/text/edits/TextEditCopier.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/TextEditCopier.d Sun Aug 24 00:30:47 2008 +0200 @@ -44,7 +44,7 @@ * * @see #perform() */ - public TextEditCopier(TextEdit edit) { + public this(TextEdit edit) { super(); Assert.isNotNull(edit); fEdit= edit; diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/TextEditGroup.d --- a/dwtx/text/edits/TextEditGroup.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/TextEditGroup.d Sun Aug 24 00:30:47 2008 +0200 @@ -60,7 +60,7 @@ * a human readable string * @param edit the edit to manage */ - public TextEditGroup(String name, TextEdit edit) { + public this(String name, TextEdit edit) { Assert.isNotNull(name); Assert.isNotNull(edit); fDescription= name; @@ -76,7 +76,7 @@ * a human readable string * @param edits the array of edits */ - public TextEditGroup(String name, TextEdit[] edits) { + public this(String name, TextEdit[] edits) { super(); Assert.isNotNull(name); Assert.isNotNull(edits); @@ -101,7 +101,7 @@ public void addTextEdit(TextEdit edit) { fEdits.add(edit); } - + /** * Removes the given {@link TextEdit} from this group. * @@ -122,7 +122,7 @@ fEdits.clear(); } - + /** * Returns true if the list of managed diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/TextEditMessages.d --- a/dwtx/text/edits/TextEditMessages.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/TextEditMessages.d Sun Aug 24 00:30:47 2008 +0200 @@ -25,7 +25,7 @@ private static final ResourceBundle RESOURCE_BUNDLE= ResourceBundle.getBundle(BUNDLE_NAME); - private TextEditMessages() { + private this() { } public static String getString(String key) { diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/TextEditProcessor.d --- a/dwtx/text/edits/TextEditProcessor.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/TextEditProcessor.d Sun Aug 24 00:30:47 2008 +0200 @@ -58,11 +58,11 @@ * * @param style {@link TextEdit#NONE}, {@link TextEdit#CREATE_UNDO} or {@link TextEdit#UPDATE_REGIONS}) */ - public TextEditProcessor(IDocument document, TextEdit root, int style) { + public this(IDocument document, TextEdit root, int style) { this(document, root, style, false); } - private TextEditProcessor(IDocument document, TextEdit root, int style, bool secondary) { + private this(IDocument document, TextEdit root, int style, bool secondary) { Assert.isNotNull(document); Assert.isNotNull(root); fDocument= document; diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/UndoCollector.d --- a/dwtx/text/edits/UndoCollector.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/UndoCollector.d Sun Aug 24 00:30:47 2008 +0200 @@ -27,13 +27,13 @@ protected UndoEdit undo; private int fOffset; private int fLength; - + /** * @since 3.1 */ private String fLastCurrentText; - public UndoCollector(TextEdit root) { + public this(TextEdit root) { fOffset= root.getOffset(); fLength= root.getLength(); } @@ -68,7 +68,7 @@ } catch (BadLocationException cannotHappen) { Assert.isTrue(false, "Can't happen"); //$NON-NLS-1$ } - + /* * see https://bugs.eclipse.org/bugs/show_bug.cgi?id=93634 * If the same string is replaced on many documents (e.g. rename diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/edits/UndoEdit.d --- a/dwtx/text/edits/UndoEdit.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/edits/UndoEdit.d Sun Aug 24 00:30:47 2008 +0200 @@ -35,11 +35,11 @@ */ public final class UndoEdit : TextEdit { - UndoEdit() { + this() { super(0, Integer.MAX_VALUE); } - private UndoEdit(UndoEdit other) { + private this(UndoEdit other) { super(other); } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/undo/DocumentUndoEvent.d --- a/dwtx/text/undo/DocumentUndoEvent.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/undo/DocumentUndoEvent.d Sun Aug 24 00:30:47 2008 +0200 @@ -24,7 +24,7 @@ *

* Clients are not supposed to subclass or create instances of this class. *

- * + * * @see IDocumentUndoManager * @see IDocumentUndoListener * @since 3.2 @@ -81,7 +81,7 @@ /** * Creates a new document event. - * + * * @param doc the changed document * @param offset the offset of the replaced text * @param text the substitution text @@ -89,7 +89,7 @@ * @param eventType a bit mask describing the type(s) of event * @param source the source that triggered this event or null if unknown */ - DocumentUndoEvent(IDocument doc, int offset, String text, String preservedText, int eventType, Object source) { + this(IDocument doc, int offset, String text, String preservedText, int eventType, Object source) { Assert.isNotNull(doc); Assert.isTrue(offset >= 0); @@ -104,7 +104,7 @@ /** * Returns the changed document. - * + * * @return the changed document */ public IDocument getDocument() { @@ -113,7 +113,7 @@ /** * Returns the offset of the change. - * + * * @return the offset of the change */ public int getOffset() { @@ -122,7 +122,7 @@ /** * Returns the text that has been inserted. - * + * * @return the text that has been inserted */ public String getText() { @@ -131,7 +131,7 @@ /** * Returns the text that has been replaced. - * + * * @return the text that has been replaced */ public String getPreservedText() { @@ -140,7 +140,7 @@ /** * Returns the type of event that is occurring. - * + * * @return the bit mask that indicates the type (or types) of the event */ public int getEventType() { @@ -149,7 +149,7 @@ /** * Returns the source that triggered this event. - * + * * @return the source that triggered this event. */ public Object getSource() { @@ -158,7 +158,7 @@ /** * Returns whether the change was a compound change or not. - * + * * @return true if the undo or redo change is a * compound change, false if it is not */ diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/undo/DocumentUndoManager.d --- a/dwtx/text/undo/DocumentUndoManager.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/undo/DocumentUndoManager.d Sun Aug 24 00:30:47 2008 +0200 @@ -55,7 +55,7 @@ *

* This class is not intended to be subclassed. *

- * + * * @see IDocumentUndoManager * @see DocumentUndoManagerRegistry * @see IDocumentUndoListener @@ -64,8 +64,8 @@ * @noextend This class is not intended to be subclassed by clients. */ public class DocumentUndoManager : IDocumentUndoManager { - - + + /** * Represents an undo-able text change, described as the * replacement of some preserved text with new text. @@ -98,10 +98,10 @@ /** * Creates a new text change. - * + * * @param manager the undo manager for this change */ - UndoableTextChange(DocumentUndoManager manager) { + this(DocumentUndoManager manager) { super(UndoMessages.getString("DocumentUndoManager.operationLabel")); //$NON-NLS-1$ this.fDocumentUndoManager= manager; addContext(manager.getUndoContext()); @@ -119,7 +119,7 @@ /** * Sets the start and the end index of this change. - * + * * @param start the start index * @param end the end index */ @@ -287,7 +287,7 @@ /** * Re-applies the change described by this change that was previously * undone. Also notifies clients about the redo. - * + * * @param monitor the progress monitor to use if necessary * @param uiInfo an adaptable that can provide UI info if needed * @return the status @@ -317,7 +317,7 @@ /** * Creates a new uncommitted text change depending on whether a compound * change is currently being executed. - * + * * @return a new, uncommitted text change or a compound text change */ protected UndoableTextChange createCurrent() { @@ -357,7 +357,7 @@ /** * Attempt a commit of this change and answer true if a new fCurrent was * created as a result of the commit. - * + * * @return true if the change was committed and created * a new fCurrent, false if not */ @@ -372,7 +372,7 @@ /** * Checks whether this text change is valid for undo or redo. - * + * * @return true if the change is valid for undo or redo */ protected bool isValid() { @@ -409,7 +409,7 @@ /** * Return the undo modification stamp - * + * * @return the undo modification stamp for this change */ protected long getUndoModificationStamp() { @@ -418,15 +418,15 @@ /** * Return the redo modification stamp - * + * * @return the redo modification stamp for this change */ protected long getRedoModificationStamp() { return fRedoModificationStamp; } } - - + + /** * Represents an undo-able text change consisting of several individual * changes. @@ -438,17 +438,17 @@ /** * Creates a new compound text change. - * + * * @param manager * the undo manager for this change */ - UndoableCompoundTextChange(DocumentUndoManager manager) { + this(DocumentUndoManager manager) { super(manager); } /** * Adds a new individual change to this compound change. - * + * * @param change the change to be added */ protected void add(UndoableTextChange change) { @@ -544,7 +544,7 @@ fDocumentUndoManager.fCurrent= createCurrent(); fDocumentUndoManager.resetProcessChangeState(); } - + /* * @see dwtx.text.undo.UndoableTextChange#isValid() */ @@ -578,7 +578,7 @@ return fRedoModificationStamp; } } - + /** * Internal listener to document changes. @@ -646,7 +646,7 @@ * @see IOperationHistoryListener */ private class HistoryListener : IOperationHistoryListener { - + private IUndoableOperation fOperation; public void historyNotification(final OperationHistoryEvent event) { @@ -773,12 +773,12 @@ private List fConnected; /** - * + * * Create a DocumentUndoManager for the given document. - * + * * @param document the document whose undo history is being managed. */ - public DocumentUndoManager(IDocument document) { + public this(IDocument document) { super(); Assert.isNotNull(document); fDocument= document; @@ -823,7 +823,7 @@ } fCurrent.commit(); } - + /* * @see dwtx.text.undo.IDocumentUndoManager#reset() */ @@ -915,7 +915,7 @@ /** * Fires a document undo event to all registered document undo listeners. * Uses a robust iterator. - * + * * @param offset the document offset * @param text the text that was inserted * @param preservedText the text being replaced @@ -955,7 +955,7 @@ /** * Adds the given text edit to the operation history if it is not part of a * compound change. - * + * * @param edit * the edit to be added */ @@ -986,7 +986,7 @@ /** * Checks whether the given text starts with a line delimiter and * subsequently contains a white space only. - * + * * @param text the text to check * @return true if the text is a line delimiter followed by * whitespace, false otherwise @@ -1014,7 +1014,7 @@ /** * Switches the state of whether there is a text listener or not. - * + * * @param listen the state which should be established */ private void listenToTextChanges(bool listen) { @@ -1204,10 +1204,10 @@ addListeners(); } - + /** * Reset processChange state. - * + * * @since 3.2 */ private void resetProcessChangeState() { @@ -1232,7 +1232,7 @@ /** * Return whether or not any clients are connected to the receiver. - * + * * @return true if the receiver is connected to * clients, false if it is not */ @@ -1263,11 +1263,11 @@ ((UndoableTextChange)op).fDocumentUndoManager= this; } } - + IUndoableOperation op= OperationHistoryFactory.getOperationHistory().getUndoOperation(getUndoContext()); if (op !is null && !(op instanceof UndoableTextChange)) return; - + // Record the transfer itself as an undoable change. // If the transfer results from some open operation, recording this change will // cause our undo context to be added to the outer operation. If there is no @@ -1284,5 +1284,5 @@ addToOperationHistory(cmd); } - + } diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/undo/DocumentUndoManagerRegistry.d --- a/dwtx/text/undo/DocumentUndoManagerRegistry.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/undo/DocumentUndoManagerRegistry.d Sun Aug 24 00:30:47 2008 +0200 @@ -37,7 +37,7 @@ * @noinstantiate This class is not intended to be instantiated by clients. */ public final class DocumentUndoManagerRegistry { - + private static final class Record { public Record(IDocument document) { count= 0; @@ -46,14 +46,14 @@ private int count; private IDocumentUndoManager undoManager; } - + private static Map fgFactory= new HashMap(); - - private DocumentUndoManagerRegistry() { - // Do not instantiate + + private this() { + // Do not instantiate } - + /** * Connects the file at the given location to this manager. After that call * successfully completed it is guaranteed that each call to getFileBuffer @@ -84,7 +84,7 @@ record.count--; if (record.count is 0) fgFactory.remove(document); - + } /** diff -r eb30df5ca28b -r b56e9be9fe88 dwtx/text/undo/UndoMessages.d --- a/dwtx/text/undo/UndoMessages.d Sat Aug 23 19:10:48 2008 +0200 +++ b/dwtx/text/undo/UndoMessages.d Sun Aug 24 00:30:47 2008 +0200 @@ -30,7 +30,7 @@ private static final ResourceBundle RESOURCE_BUNDLE= ResourceBundle.getBundle(BUNDLE_NAME); - private UndoMessages() { + private this() { } public static String getString(String key) {