[scala-tools] Eclipse plug-in bugs

[Sciss]

hi,

what is the best way to report bugs with the scala eclipse-plugin?

for example, now i get the below exception whenever i try to type  
anything in a text editor. the only remedy was to complete quite and  
relaunch eclipse ;-(

ciao, -sciss-


org.eclipse.swt.SWTException: Widget is disposed
at org.eclipse.swt.SWT.error(SWT.java:3777)
at org.eclipse.swt.SWT.error(SWT.java:3695)
at org.eclipse.swt.SWT.error(SWT.java:3666)
at org.eclipse.swt.widgets.Widget.error(Widget.java:681)
at org.eclipse.swt.widgets.Widget.checkWidget(Widget.java:340)
at org.eclipse.swt.custom.StyledText.getLinePixel(StyledText.java:3718)
at org.eclipse.swt.custom.StyledText.handleTextChanging
(StyledText.java:5455)
at org.eclipse.swt.custom.StyledText$6.textChanging(StyledText.java:
4850)
at org.eclipse.jface.text.DefaultDocumentAdapter.fireTextChanging
(DefaultDocumentAdapter.java:392)
at  
org.eclipse.jface.text.DefaultDocumentAdapter.documentAboutToBeChanged
(DefaultDocumentAdapter.java:309)
at  
org.eclipse.jface.text.AbstractDocument.fireDocumentAboutToBeChanged
(AbstractDocument.java:641)
at org.eclipse.jface.text.AbstractDocument.replace
(AbstractDocument.java:1148)
at  
org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace
(SynchronizableDocument.java:151)
at org.eclipse.jface.text.AbstractDocument.replace
(AbstractDocument.java:1176)
at  
org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace
(SynchronizableDocument.java:137)
at org.eclipse.jface.text.DefaultDocumentAdapter.replaceTextRange
(DefaultDocumentAdapter.java:248)
at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:5876)
at org.eclipse.swt.custom.StyledText.replaceTextRange(StyledText.java:
6425)
at lampion.eclipse.Editor.customizeDocumentCommand(Editor.scala:59)
at org.eclipse.jface.text.TextViewer.customizeDocumentCommand
(TextViewer.java:3568)
at org.eclipse.jface.text.TextViewer.handleVerifyEvent
(TextViewer.java:3597)
at  
org.eclipse.jface.text.source.projection.ProjectionViewer.handleVerifyEv
ent(ProjectionViewer.java:1249)
at lampion.eclipse.SourceViewer.handleVerifyEvent(SourceViewer.scala:42)
at org.eclipse.jface.text.TextViewer$TextVerifyListener.verifyText
(TextViewer.java:419)
at org.eclipse.swt.widgets.TypedListener.handleEvent
(TypedListener.java:249)
at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
at org.eclipse.swt.widgets.Widget.notifyListeners(Widget.java:1360)
at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:5844)
at org.eclipse.swt.custom.StyledText.sendKeyEvent(StyledText.java:6631)
at org.eclipse.swt.custom.StyledText.doContent(StyledText.java:2186)
at org.eclipse.swt.custom.StyledText.handleKey(StyledText.java:5145)
at org.eclipse.swt.custom.StyledText.handleKeyDown(StyledText.java:5170)
at org.eclipse.swt.custom.StyledText$7.handleEvent(StyledText.java:4873)
at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1622)
at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1617)
at org.eclipse.swt.widgets.Control.kEventUnicodeKeyPressed
(Control.java:2292)
at org.eclipse.swt.widgets.Composite.kEventUnicodeKeyPressed
(Composite.java:586)
at org.eclipse.swt.widgets.Control.kEventTextInputUnicodeForKeyEvent
(Control.java:2254)
at org.eclipse.swt.widgets.Canvas.kEventTextInputUnicodeForKeyEvent
(Canvas.java:232)
at org.eclipse.swt.widgets.Widget.textInputProc(Widget.java:1995)
at org.eclipse.swt.widgets.Display.textInputProc(Display.java:3962)
at org.eclipse.swt.internal.carbon.OS.SendEventToEventTarget(Native  
Method)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3047)
at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2382)
at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2346)
at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2198)
at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:493)
at org.eclipse.core.databinding.observable.Realm.runWithDefault
(Realm.java:288)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench
(Workbench.java:488)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
at org.eclipse.ui.internal.ide.application.IDEApplication.start
(IDEApplication.java:113)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run
(EclipseAppHandle.java:193)
at  
org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplicat
ion(EclipseAppLauncher.java:110)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start
(EclipseAppLauncher.java:79)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run
(EclipseStarter.java:382)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run
(EclipseStarter.java:179)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke
(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke
(DelegatingMethodAccessorImpl.java:25)
at java.lang.reflect.Method.invoke(Method.java:585)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:549)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:504)
at org.eclipse.equinox.launcher.Main.run(Main.java:1236)

[Sean McDirmid]

If its happening whenever you try to type anything in a text editor,
why would relaunching Eclipse help????

On Thu, Oct 9, 2008 at 3:22 AM, Sciss <contact@...> wrote:

> hi,
>
> what is the best way to report bugs with the scala eclipse-plugin?
>
> for example, now i get the below exception whenever i try to type anything
> in a text editor. the only remedy was to complete quite and relaunch eclipse
> ;-(
>
> ciao, -sciss-
>
>
> org.eclipse.swt.SWTException: Widget is disposed
> at org.eclipse.swt.SWT.error(SWT.java:3777)
> at org.eclipse.swt.SWT.error(SWT.java:3695)
> at org.eclipse.swt.SWT.error(SWT.java:3666)
> at org.eclipse.swt.widgets.Widget.error(Widget.java:681)
> at org.eclipse.swt.widgets.Widget.checkWidget(Widget.java:340)
> at org.eclipse.swt.custom.StyledText.getLinePixel(StyledText.java:3718)
> at
> org.eclipse.swt.custom.StyledText.handleTextChanging(StyledText.java:5455)
> at org.eclipse.swt.custom.StyledText$6.textChanging(StyledText.java:4850)
> at
> org.eclipse.jface.text.DefaultDocumentAdapter.fireTextChanging(DefaultDocumentAdapter.java:392)
> at
> org.eclipse.jface.text.DefaultDocumentAdapter.documentAboutToBeChanged(DefaultDocumentAdapter.java:309)
> at
> org.eclipse.jface.text.AbstractDocument.fireDocumentAboutToBeChanged(AbstractDocument.java:641)
> at
> org.eclipse.jface.text.AbstractDocument.replace(AbstractDocument.java:1148)
> at
> org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace(SynchronizableDocument.java:151)
> at
> org.eclipse.jface.text.AbstractDocument.replace(AbstractDocument.java:1176)
> at
> org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace(SynchronizableDocument.java:137)
> at
> org.eclipse.jface.text.DefaultDocumentAdapter.replaceTextRange(DefaultDocumentAdapter.java:248)
> at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:5876)
> at org.eclipse.swt.custom.StyledText.replaceTextRange(StyledText.java:6425)
> at lampion.eclipse.Editor.customizeDocumentCommand(Editor.scala:59)
> at
> org.eclipse.jface.text.TextViewer.customizeDocumentCommand(TextViewer.java:3568)
> at org.eclipse.jface.text.TextViewer.handleVerifyEvent(TextViewer.java:3597)
> at
> org.eclipse.jface.text.source.projection.ProjectionViewer.handleVerifyEvent(ProjectionViewer.java:1249)
> at lampion.eclipse.SourceViewer.handleVerifyEvent(SourceViewer.scala:42)
> at
> org.eclipse.jface.text.TextViewer$TextVerifyListener.verifyText(TextViewer.java:419)
> at org.eclipse.swt.widgets.TypedListener.handleEvent(TypedListener.java:249)
> at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
> at org.eclipse.swt.widgets.Widget.notifyListeners(Widget.java:1360)
> at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:5844)
> at org.eclipse.swt.custom.StyledText.sendKeyEvent(StyledText.java:6631)
> at org.eclipse.swt.custom.StyledText.doContent(StyledText.java:2186)
> at org.eclipse.swt.custom.StyledText.handleKey(StyledText.java:5145)
> at org.eclipse.swt.custom.StyledText.handleKeyDown(StyledText.java:5170)
> at org.eclipse.swt.custom.StyledText$7.handleEvent(StyledText.java:4873)
> at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
> at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1622)
> at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1617)
> at
> org.eclipse.swt.widgets.Control.kEventUnicodeKeyPressed(Control.java:2292)
> at
> org.eclipse.swt.widgets.Composite.kEventUnicodeKeyPressed(Composite.java:586)
> at
> org.eclipse.swt.widgets.Control.kEventTextInputUnicodeForKeyEvent(Control.java:2254)
> at
> org.eclipse.swt.widgets.Canvas.kEventTextInputUnicodeForKeyEvent(Canvas.java:232)
> at org.eclipse.swt.widgets.Widget.textInputProc(Widget.java:1995)
> at org.eclipse.swt.widgets.Display.textInputProc(Display.java:3962)
> at org.eclipse.swt.internal.carbon.OS.SendEventToEventTarget(Native Method)
> at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3047)
> at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2382)
> at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2346)
> at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2198)
> at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:493)
> at
> org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:288)
> at
> org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:488)
> at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
> at
> org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:113)
> at
> org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:193)
> at
> org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110)
> at
> org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79)
> at
> org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:382)
> at
> org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179)
> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> at
> sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
> at
> sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
> at java.lang.reflect.Method.invoke(Method.java:585)
> at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:549)
> at org.eclipse.equinox.launcher.Main.basicRun(Main.java:504)
> at org.eclipse.equinox.launcher.Main.run(Main.java:1236)
>
>
>

[Sciss]

i mean, there was no remedy against this problem, like closing the  
text editor and re-opening it, closing the project etc., once that  
error came up. when i quit and re-launched eclipse, the system was  
"clean" again

Am 09.10.2008 um 04:42 schrieb Sean McDirmid:

> If its happening whenever you try to type anything in a text editor,
> why would relaunching Eclipse help????
>
> On Thu, Oct 9, 2008 at 3:22 AM, Sciss <contact@...> wrote:
>> hi,
>>
>> what is the best way to report bugs with the scala eclipse-plugin?
>>
>> for example, now i get the below exception whenever i try to type  
>> anything
>> in a text editor. the only remedy was to complete quite and  
>> relaunch eclipse
>> ;-(
>>
>> ciao, -sciss-
>>
>>
>> org.eclipse.swt.SWTException: Widget is disposed
>> at org.eclipse.swt.SWT.error(SWT.java:3777)
>> at org.eclipse.swt.SWT.error(SWT.java:3695)
>> at org.eclipse.swt.SWT.error(SWT.java:3666)
>> at org.eclipse.swt.widgets.Widget.error(Widget.java:681)
>> at org.eclipse.swt.widgets.Widget.checkWidget(Widget.java:340)
>> at org.eclipse.swt.custom.StyledText.getLinePixel(StyledText.java:
>> 3718)
>> at
>> org.eclipse.swt.custom.StyledText.handleTextChanging
>> (StyledText.java:5455)
>> at org.eclipse.swt.custom.StyledText$6.textChanging
>> (StyledText.java:4850)
>> at
>> org.eclipse.jface.text.DefaultDocumentAdapter.fireTextChanging
>> (DefaultDocumentAdapter.java:392)
>> at
>> org.eclipse.jface.text.DefaultDocumentAdapter.documentAboutToBeChange
>> d(DefaultDocumentAdapter.java:309)
>> at
>> org.eclipse.jface.text.AbstractDocument.fireDocumentAboutToBeChanged(
>> AbstractDocument.java:641)
>> at
>> org.eclipse.jface.text.AbstractDocument.replace
>> (AbstractDocument.java:1148)
>> at
>> org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace(
>> SynchronizableDocument.java:151)
>> at
>> org.eclipse.jface.text.AbstractDocument.replace
>> (AbstractDocument.java:1176)
>> at
>> org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace(
>> SynchronizableDocument.java:137)
>> at
>> org.eclipse.jface.text.DefaultDocumentAdapter.replaceTextRange
>> (DefaultDocumentAdapter.java:248)
>> at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:
>> 5876)
>> at org.eclipse.swt.custom.StyledText.replaceTextRange
>> (StyledText.java:6425)
>> at lampion.eclipse.Editor.customizeDocumentCommand(Editor.scala:59)
>> at
>> org.eclipse.jface.text.TextViewer.customizeDocumentCommand
>> (TextViewer.java:3568)
>> at org.eclipse.jface.text.TextViewer.handleVerifyEvent
>> (TextViewer.java:3597)
>> at
>> org.eclipse.jface.text.source.projection.ProjectionViewer.handleVerif
>> yEvent(ProjectionViewer.java:1249)
>> at lampion.eclipse.SourceViewer.handleVerifyEvent
>> (SourceViewer.scala:42)
>> at
>> org.eclipse.jface.text.TextViewer$TextVerifyListener.verifyText
>> (TextViewer.java:419)
>> at org.eclipse.swt.widgets.TypedListener.handleEvent
>> (TypedListener.java:249)
>> at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
>> at org.eclipse.swt.widgets.Widget.notifyListeners(Widget.java:1360)
>> at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:
>> 5844)
>> at org.eclipse.swt.custom.StyledText.sendKeyEvent(StyledText.java:
>> 6631)
>> at org.eclipse.swt.custom.StyledText.doContent(StyledText.java:2186)
>> at org.eclipse.swt.custom.StyledText.handleKey(StyledText.java:5145)
>> at org.eclipse.swt.custom.StyledText.handleKeyDown(StyledText.java:
>> 5170)
>> at org.eclipse.swt.custom.StyledText$7.handleEvent(StyledText.java:
>> 4873)
>> at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
>> at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1622)
>> at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1617)
>> at
>> org.eclipse.swt.widgets.Control.kEventUnicodeKeyPressed
>> (Control.java:2292)
>> at
>> org.eclipse.swt.widgets.Composite.kEventUnicodeKeyPressed
>> (Composite.java:586)
>> at
>> org.eclipse.swt.widgets.Control.kEventTextInputUnicodeForKeyEvent
>> (Control.java:2254)
>> at
>> org.eclipse.swt.widgets.Canvas.kEventTextInputUnicodeForKeyEvent
>> (Canvas.java:232)
>> at org.eclipse.swt.widgets.Widget.textInputProc(Widget.java:1995)
>> at org.eclipse.swt.widgets.Display.textInputProc(Display.java:3962)
>> at org.eclipse.swt.internal.carbon.OS.SendEventToEventTarget
>> (Native Method)
>> at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3047)
>> at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:
>> 2382)
>> at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2346)
>> at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2198)
>> at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:493)
>> at
>> org.eclipse.core.databinding.observable.Realm.runWithDefault
>> (Realm.java:288)
>> at
>> org.eclipse.ui.internal.Workbench.createAndRunWorkbench
>> (Workbench.java:488)
>> at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:
>> 149)
>> at
>> org.eclipse.ui.internal.ide.application.IDEApplication.start
>> (IDEApplication.java:113)
>> at
>> org.eclipse.equinox.internal.app.EclipseAppHandle.run
>> (EclipseAppHandle.java:193)
>> at
>> org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runAppli
>> cation(EclipseAppLauncher.java:110)
>> at
>> org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start
>> (EclipseAppLauncher.java:79)
>> at
>> org.eclipse.core.runtime.adaptor.EclipseStarter.run
>> (EclipseStarter.java:382)
>> at
>> org.eclipse.core.runtime.adaptor.EclipseStarter.run
>> (EclipseStarter.java:179)
>> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
>> at
>> sun.reflect.NativeMethodAccessorImpl.invoke
>> (NativeMethodAccessorImpl.java:39)
>> at
>> sun.reflect.DelegatingMethodAccessorImpl.invoke
>> (DelegatingMethodAccessorImpl.java:25)
>> at java.lang.reflect.Method.invoke(Method.java:585)
>> at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:549)
>> at org.eclipse.equinox.launcher.Main.basicRun(Main.java:504)
>> at org.eclipse.equinox.launcher.Main.run(Main.java:1236)
>>
>>
>>

[Sean McDirmid]

Do you remember what you are doing when the error occurs? It must be
some edit command that I'm not aware of, as none of my code is on the
exception path.

On Thu, Oct 9, 2008 at 5:47 PM, Sciss <contact@...> wrote:

> i mean, there was no remedy against this problem, like closing the text
> editor and re-opening it, closing the project etc., once that error came up.
> when i quit and re-launched eclipse, the system was "clean" again
>
> Am 09.10.2008 um 04:42 schrieb Sean McDirmid:
>
>> If its happening whenever you try to type anything in a text editor,
>> why would relaunching Eclipse help????
>>
>> On Thu, Oct 9, 2008 at 3:22 AM, Sciss <contact@...> wrote:
>>>
>>> hi,
>>>
>>> what is the best way to report bugs with the scala eclipse-plugin?
>>>
>>> for example, now i get the below exception whenever i try to type
>>> anything
>>> in a text editor. the only remedy was to complete quite and relaunch
>>> eclipse
>>> ;-(
>>>
>>> ciao, -sciss-
>>>
>>>
>>> org.eclipse.swt.SWTException: Widget is disposed
>>> at org.eclipse.swt.SWT.error(SWT.java:3777)
>>> at org.eclipse.swt.SWT.error(SWT.java:3695)
>>> at org.eclipse.swt.SWT.error(SWT.java:3666)
>>> at org.eclipse.swt.widgets.Widget.error(Widget.java:681)
>>> at org.eclipse.swt.widgets.Widget.checkWidget(Widget.java:340)
>>> at org.eclipse.swt.custom.StyledText.getLinePixel(StyledText.java:3718)
>>> at
>>>
>>> org.eclipse.swt.custom.StyledText.handleTextChanging(StyledText.java:5455)
>>> at org.eclipse.swt.custom.StyledText$6.textChanging(StyledText.java:4850)
>>> at
>>>
>>> org.eclipse.jface.text.DefaultDocumentAdapter.fireTextChanging(DefaultDocumentAdapter.java:392)
>>> at
>>>
>>> org.eclipse.jface.text.DefaultDocumentAdapter.documentAboutToBeChanged(DefaultDocumentAdapter.java:309)
>>> at
>>>
>>> org.eclipse.jface.text.AbstractDocument.fireDocumentAboutToBeChanged(AbstractDocument.java:641)
>>> at
>>>
>>> org.eclipse.jface.text.AbstractDocument.replace(AbstractDocument.java:1148)
>>> at
>>>
>>> org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace(SynchronizableDocument.java:151)
>>> at
>>>
>>> org.eclipse.jface.text.AbstractDocument.replace(AbstractDocument.java:1176)
>>> at
>>>
>>> org.eclipse.core.internal.filebuffers.SynchronizableDocument.replace(SynchronizableDocument.java:137)
>>> at
>>>
>>> org.eclipse.jface.text.DefaultDocumentAdapter.replaceTextRange(DefaultDocumentAdapter.java:248)
>>> at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:5876)
>>> at
>>> org.eclipse.swt.custom.StyledText.replaceTextRange(StyledText.java:6425)
>>> at lampion.eclipse.Editor.customizeDocumentCommand(Editor.scala:59)
>>> at
>>>
>>> org.eclipse.jface.text.TextViewer.customizeDocumentCommand(TextViewer.java:3568)
>>> at
>>> org.eclipse.jface.text.TextViewer.handleVerifyEvent(TextViewer.java:3597)
>>> at
>>>
>>> org.eclipse.jface.text.source.projection.ProjectionViewer.handleVerifyEvent(ProjectionViewer.java:1249)
>>> at lampion.eclipse.SourceViewer.handleVerifyEvent(SourceViewer.scala:42)
>>> at
>>>
>>> org.eclipse.jface.text.TextViewer$TextVerifyListener.verifyText(TextViewer.java:419)
>>> at
>>> org.eclipse.swt.widgets.TypedListener.handleEvent(TypedListener.java:249)
>>> at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
>>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
>>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
>>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
>>> at org.eclipse.swt.widgets.Widget.notifyListeners(Widget.java:1360)
>>> at org.eclipse.swt.custom.StyledText.modifyContent(StyledText.java:5844)
>>> at org.eclipse.swt.custom.StyledText.sendKeyEvent(StyledText.java:6631)
>>> at org.eclipse.swt.custom.StyledText.doContent(StyledText.java:2186)
>>> at org.eclipse.swt.custom.StyledText.handleKey(StyledText.java:5145)
>>> at org.eclipse.swt.custom.StyledText.handleKeyDown(StyledText.java:5170)
>>> at org.eclipse.swt.custom.StyledText$7.handleEvent(StyledText.java:4873)
>>> at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
>>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1561)
>>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1585)
>>> at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1570)
>>> at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1622)
>>> at org.eclipse.swt.widgets.Widget.sendKeyEvent(Widget.java:1617)
>>> at
>>>
>>> org.eclipse.swt.widgets.Control.kEventUnicodeKeyPressed(Control.java:2292)
>>> at
>>>
>>> org.eclipse.swt.widgets.Composite.kEventUnicodeKeyPressed(Composite.java:586)
>>> at
>>>
>>> org.eclipse.swt.widgets.Control.kEventTextInputUnicodeForKeyEvent(Control.java:2254)
>>> at
>>>
>>> org.eclipse.swt.widgets.Canvas.kEventTextInputUnicodeForKeyEvent(Canvas.java:232)
>>> at org.eclipse.swt.widgets.Widget.textInputProc(Widget.java:1995)
>>> at org.eclipse.swt.widgets.Display.textInputProc(Display.java:3962)
>>> at org.eclipse.swt.internal.carbon.OS.SendEventToEventTarget(Native
>>> Method)
>>> at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3047)
>>> at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2382)
>>> at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2346)
>>> at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2198)
>>> at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:493)
>>> at
>>>
>>> org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:288)
>>> at
>>>
>>> org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:488)
>>> at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
>>> at
>>>
>>> org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:113)
>>> at
>>>
>>> org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:193)
>>> at
>>>
>>> org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110)
>>> at
>>>
>>> org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79)
>>> at
>>>
>>> org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:382)
>>> at
>>>
>>> org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179)
>>> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
>>> at
>>>
>>> sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
>>> at
>>>
>>> sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
>>> at java.lang.reflect.Method.invoke(Method.java:585)
>>> at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:549)
>>> at org.eclipse.equinox.launcher.Main.basicRun(Main.java:504)
>>> at org.eclipse.equinox.launcher.Main.run(Main.java:1236)
>>>
>>>
>>>
>
>