3/26/2023 0 Comments Jedit whitspace plugin not working![]() ![]() I'm inclined to hack this in my personal copy of jEdit, if possible. 149 Whitespace plugin not working with jEdit 4.2 pre4 Status. Which obviously means that when jEdit makes a newView, it obviously triggers a TextArea.addNotify which triggers a TextAreaPainter.addNotify, which somehow delivers a window with a size of 0,0. jEdit Plugin Bugs jEdit is a programmer's text editor written in Java. When refusing to open any window, jedit says:ġ3:55:29 AWT-EventQueue-1: Exception in thread "AWT-EventQueue-1"ġ3:55:29 AWT-EventQueue-1: : Width (0) and height (0) must be non-zeroġ3:55:29 AWT-EventQueue-1: at. Started before, and the second screen is attached afterwards, jedit refuses to open any new windows. * Whenever I run jedit on a computer using multiple screens, jedit cannot be started, or if it is already You can try to repair or delete that file. ![]() * Whenever I run jedit on a single screen, there are no problems, and life is happy and the sun shining. The error indicates that the ISABELLEHOMEUSER/etc/preferences file is in a bad state: the file is written each time Isabelle/jEdit shuts down, and switching off the computer in the middle might have corrupted it. I have tried to find any relevant info by googling, but I couldn't find any: Lucene plugin IllegalAccessException Vim Emulation for jEdit 5.6.0 two quick spaces inserts a period. Java version: java-1.8.0-openjdk-amd64 (Debian) Jedit version tested: 5.4.0 (compiled from source) ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |