[ jEdit-devel ] [jedit:plugin-patches] #183 ErrorList add TextArea extension on PropertiesChanged only

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-patches] #183 ErrorList add TextArea extension on PropertiesChanged only

Eric Le Lay-2

[plugin-patches:#183] ErrorList add TextArea extension on PropertiesChanged only

Status: open
Created: Tue Sep 13, 2016 06:56 AM UTC by Eric Le Lay
Last Updated: Tue Sep 13, 2016 06:56 AM UTC
Owner: Alan Ezust
Attachments:

Following [bugs:#4020], TextArea corruption was due to ErrorList ErrorHighlight extension constently being evicted because it threw in ExtensionManager#paintScreenLineRange and re-added on the next EditBus message.

So here is a patch to only listen to PropertiesChanged in this EBHandler method.
This is the last fix for #4020.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-patches] #183 ErrorList add TextArea extension on PropertiesChanged only

Alan Ezust-2
  • status: open --> closed-accepted
  • Comment:

committed 24538


[plugin-patches:#183] ErrorList add TextArea extension on PropertiesChanged only

Status: closed-accepted
Created: Tue Sep 13, 2016 06:56 AM UTC by Eric Le Lay
Last Updated: Tue Sep 13, 2016 06:56 AM UTC
Owner: Alan Ezust
Attachments:

Following [bugs:#4020], TextArea corruption was due to ErrorList ErrorHighlight extension constently being evicted because it threw in ExtensionManager#paintScreenLineRange and re-added on the next EditBus message.

So here is a patch to only listen to PropertiesChanged in this EBHandler method.
This is the last fix for #4020.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...