[ jEdit-devel ] [jedit:plugin-bugs] #1884 Highlight: one-letter words are not highlighted

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

[ jEdit-devel ] [jedit:plugin-bugs] #1884 Highlight: one-letter words are not highlighted

Victor Porton

[plugin-bugs:#1884] Highlight: one-letter words are not highlighted

Status: open
Group:
Created: Fri May 05, 2017 01:09 PM UTC by Victor Porton
Last Updated: Fri May 05, 2017 01:09 PM UTC
Owner: nobody

When "HIghlight owrd at caret" is on, one-letter words are not highlighted.

Not sure if this is intentional, but I want all words, even one-letter ones to be highlighted.

jEdit 5.3.0, Highlight 2.2


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

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


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...