[ jEdit-devel ] [jedit:bugs] #4128 No special key handling in the Errors dialog

[Eric Le L. <ker...@us...>]

- **status**: open --> closed-fixed
- **Comment**:

Fixed in [r25682](https://sourceforge.net/p/jedit/svn/25682/)



---

**[bugs:#4128] No special key handling in the Errors dialog**

**Status:** closed-fixed
**Group:** normal bug
**Created:** Sat Sep 16, 2023 05:46 PM UTC by Eric Le Lay
**Last Updated:** Sat Sep 16, 2023 05:46 PM UTC
**Owner:** Eric Le Lay


In particular key navigation (left, right, ...) don't work

Steps to reproduce
1. java -jar jedit.jar -nosettings
2. enter `throw new RuntimeException("LOL")` and select this text
3. Use Utilities > Beanshell > Evaluate Selection
4. Double clic the *1 Error* widget that appeared in the status bar
5. Clic in the text area in the Errors dialog that appears
6. try navigating using the keyboard left/rigth keys: FAILS

Expected result: keyboard handling should be identical as in editor text areas.

I think this is because it uses a StandaloneTextArea. The StandaloneTextArea looks up the `prev-char` action shortcut in properties, not in keymap.

I would like to fix it by implementing a IPropertyManager that uses jEdit properties then the keymap as fallback. Does it make sense?


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

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