(234/247) 3998 - jEdit standard macro Text/Next_Char does not work

Oops -- I meant method DOES NOT exist. Slightly different meaning :-)

Interesting that no one has noticed this before, I guess the macro isn't used much. That textArea method was deprecated over 10 years ago and removed about 9 years ago.

I also suspect it isn't used much. I'm a long-time jEdit user and noticed
it for the first time today -- just had to try it :-)

On Mon, Jun 13, 2016 at 10:05 AM, Dale Anson <daleanson@users.sf.net> wrote:

> Interesting that no one has noticed this before, I guess the macro isn't
> used much. That textArea method was deprecated over 10 years ago and
> removed about 9 years ago.
> ------------------------------
>
> * [bugs:#3998] <https://sourceforge.net/p/jedit/bugs/3998/> jEdit standard
> macro Text/Next_Char does not work*
>
> *Status:* open
> *Group:* minor bug
> *Created:* Mon Jun 13, 2016 04:12 PM UTC by bobalex
> *Last Updated:* Mon Jun 13, 2016 04:15 PM UTC
> *Owner:* nobody
>
> JE version 5.3.0, Windows 10, java version "1.8.0_91"
> Java(TM) SE Runtime Environment (build 1.8.0_91-b14)
> Java HotSpot(TM) 64-Bit Server VM (build 25.91-b14, mixed mode)
>
> To reproduce, just try to do anything with the Text/Next_Char macro. It
> makes a reference to a TextArea.select(int, int) method, which does exist.
>
> This bug is not affecting me at all, but I stumbled across it and am just
> letting y'all know.
> ------------------------------
>
> Sent from sourceforge.net because you indicated interest in
> https://sourceforge.net/p/jedit/bugs/3998/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>