[ jEdit-devel ] [jedit:bugs] #4027 Sorting files in the file system browser not working

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

[ jEdit-devel ] [jedit:bugs] #4027 Sorting files in the file system browser not working

Gilward Kukel

[bugs:#4027] Sorting files in the file system browser not working

Status: open
Group: normal bug
Created: Thu Jan 19, 2017 03:04 AM UTC by Gilward Kukel
Last Updated: Thu Jan 19, 2017 03:04 AM UTC
Owner: nobody

jEdit version 5.3.0
java.version=1.8.0_66
java.vm.version=25.66-b17
java.vm.name=Java HotSpot(TM) Client VM
java.runtime.version=1.8.0_66-b17
java.runtime.name=Java(TM) SE Runtime Environment
java.vendor=Oracle Corporation
java.compiler=null
os.name=Windows 7
os.version=6.1
os.arch=x86

When I start jEdit (even with a clean profile) and try to sort files in the file system browser, it does not work (until I refresh the directory) and errors appear in the activity log. When I go to global options and press OK without changing anything, the sorting works (and no errors). When I close jEdit and start it again, it does not work again.
I also tried jEdit 5.3.1. Same behaviour.

from activity log:

[AWT-EventQueue-0] [debug] VFSDirectoryEntryTable$MouseHandler: VFSDirectoryEntryTable sorted by Name descending
[AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.ArrayIndexOutOfBoundsException: -1
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementData(Vector.java:734)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementAt(Vector.java:477)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.table.DefaultTableColumnModel.getColumn(DefaultTableColumnModel.java:294)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.getHeaderRenderer(BasicTableHeaderUI.java:693)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paintCell(BasicTableHeaderUI.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paint(BasicTableHeaderUI.java:685)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.ComponentUI.update(ComponentUI.java:161)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintComponent(JComponent.java:780)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paint(JComponent.java:1056)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintToOffscreen(JComponent.java:5210)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paintDoubleBuffered(RepaintManager.java:1579)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paint(RepaintManager.java:1502)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paint(RepaintManager.java:1272)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(JComponent.java:5158)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(JComponent.java:4969)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:831)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.access$1200(RepaintManager.java:64)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$ProcessingRunnable.run(RepaintManager.java:1732)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:756)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.access$500(EventQueue.java:97)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:703)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(EventQueue.java:726)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
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
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #4027 Sorting files in the file system browser not working

Robert Schwenn-3

For me, it's very similar: It seems to be a display problem. After double-click into the "name" header field, nothing seems to happen. But a click at a file item changes the clicked file name to the one, that would be expected at this position. Also, after some scrolling the list should be displayed well.

In contrast to the report above: After going to global options and pressing OK I'm not able to display the docked file system browser at all. The file open dialog opens well, but the bug persists.

jEdit version 5.3.0

java.version=1.8.0_121
java.vm.version=25.121-b13
java.vm.name=Java HotSpot(TM) 64-Bit Server VM
java.runtime.version=1.8.0_121-b13
java.runtime.name=Java(TM) SE Runtime Environment
java.vendor=Oracle Corporation
java.compiler=null
os.name=Windows 10
os.version=10.0
os.arch=amd64


[bugs:#4027] Sorting files in the file system browser not working

Status: open
Group: normal bug
Created: Thu Jan 19, 2017 03:04 AM UTC by Gilward Kukel
Last Updated: Thu Jan 19, 2017 03:04 AM UTC
Owner: nobody

jEdit version 5.3.0
java.version=1.8.0_66
java.vm.version=25.66-b17
java.vm.name=Java HotSpot(TM) Client VM
java.runtime.version=1.8.0_66-b17
java.runtime.name=Java(TM) SE Runtime Environment
java.vendor=Oracle Corporation
java.compiler=null
os.name=Windows 7
os.version=6.1
os.arch=x86

When I start jEdit (even with a clean profile) and try to sort files in the file system browser, it does not work (until I refresh the directory) and errors appear in the activity log. When I go to global options and press OK without changing anything, the sorting works (and no errors). When I close jEdit and start it again, it does not work again.
I also tried jEdit 5.3.1. Same behaviour.

from activity log:

[AWT-EventQueue-0] [debug] VFSDirectoryEntryTable$MouseHandler: VFSDirectoryEntryTable sorted by Name descending
[AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.ArrayIndexOutOfBoundsException: -1
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementData(Vector.java:734)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementAt(Vector.java:477)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.table.DefaultTableColumnModel.getColumn(DefaultTableColumnModel.java:294)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.getHeaderRenderer(BasicTableHeaderUI.java:693)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paintCell(BasicTableHeaderUI.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paint(BasicTableHeaderUI.java:685)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.ComponentUI.update(ComponentUI.java:161)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintComponent(JComponent.java:780)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paint(JComponent.java:1056)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintToOffscreen(JComponent.java:5210)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paintDoubleBuffered(RepaintManager.java:1579)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paint(RepaintManager.java:1502)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paint(RepaintManager.java:1272)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(JComponent.java:5158)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(JComponent.java:4969)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:831)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.access$1200(RepaintManager.java:64)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$ProcessingRunnable.run(RepaintManager.java:1732)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:756)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.access$500(EventQueue.java:97)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:703)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(EventQueue.java:726)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
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
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #4027 Sorting files in the file system browser not working

jedit-devel mailing list
In reply to this post by Gilward Kukel

What look and feel are you using? I tested with Substance and see the error, but when I change to Metal, I do not. I think there is an issue with how the table data is being accessed.


[bugs:#4027] Sorting files in the file system browser not working

Status: open
Group: normal bug
Created: Thu Jan 19, 2017 03:04 AM UTC by Gilward Kukel
Last Updated: Thu Jan 19, 2017 05:53 PM UTC
Owner: nobody

jEdit version 5.3.0
java.version=1.8.0_66
java.vm.version=25.66-b17
java.vm.name=Java HotSpot(TM) Client VM
java.runtime.version=1.8.0_66-b17
java.runtime.name=Java(TM) SE Runtime Environment
java.vendor=Oracle Corporation
java.compiler=null
os.name=Windows 7
os.version=6.1
os.arch=x86

When I start jEdit (even with a clean profile) and try to sort files in the file system browser, it does not work (until I refresh the directory) and errors appear in the activity log. When I go to global options and press OK without changing anything, the sorting works (and no errors). When I close jEdit and start it again, it does not work again.
I also tried jEdit 5.3.1. Same behaviour.

from activity log:

[AWT-EventQueue-0] [debug] VFSDirectoryEntryTable$MouseHandler: VFSDirectoryEntryTable sorted by Name descending
[AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.ArrayIndexOutOfBoundsException: -1
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementData(Vector.java:734)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementAt(Vector.java:477)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.table.DefaultTableColumnModel.getColumn(DefaultTableColumnModel.java:294)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.getHeaderRenderer(BasicTableHeaderUI.java:693)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paintCell(BasicTableHeaderUI.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paint(BasicTableHeaderUI.java:685)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.ComponentUI.update(ComponentUI.java:161)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintComponent(JComponent.java:780)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paint(JComponent.java:1056)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintToOffscreen(JComponent.java:5210)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paintDoubleBuffered(RepaintManager.java:1579)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paint(RepaintManager.java:1502)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paint(RepaintManager.java:1272)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(JComponent.java:5158)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(JComponent.java:4969)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:831)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.access$1200(RepaintManager.java:64)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$ProcessingRunnable.run(RepaintManager.java:1732)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:756)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.access$500(EventQueue.java:97)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:703)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(EventQueue.java:726)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
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
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #4027 Sorting files in the file system browser not working

jedit-devel mailing list
In reply to this post by Gilward Kukel

I'm using Windows L&F. Just tested Metal L&F (daily build 2017-06-03 w/o plugins) and see the bug, too.


[bugs:#4027] Sorting files in the file system browser not working

Status: open
Group: normal bug
Created: Thu Jan 19, 2017 03:04 AM UTC by Gilward Kukel
Last Updated: Tue Jun 06, 2017 07:26 PM UTC
Owner: nobody

jEdit version 5.3.0
java.version=1.8.0_66
java.vm.version=25.66-b17
java.vm.name=Java HotSpot(TM) Client VM
java.runtime.version=1.8.0_66-b17
java.runtime.name=Java(TM) SE Runtime Environment
java.vendor=Oracle Corporation
java.compiler=null
os.name=Windows 7
os.version=6.1
os.arch=x86

When I start jEdit (even with a clean profile) and try to sort files in the file system browser, it does not work (until I refresh the directory) and errors appear in the activity log. When I go to global options and press OK without changing anything, the sorting works (and no errors). When I close jEdit and start it again, it does not work again.
I also tried jEdit 5.3.1. Same behaviour.

from activity log:

[AWT-EventQueue-0] [debug] VFSDirectoryEntryTable$MouseHandler: VFSDirectoryEntryTable sorted by Name descending
[AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.ArrayIndexOutOfBoundsException: -1
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementData(Vector.java:734)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementAt(Vector.java:477)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.table.DefaultTableColumnModel.getColumn(DefaultTableColumnModel.java:294)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.getHeaderRenderer(BasicTableHeaderUI.java:693)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paintCell(BasicTableHeaderUI.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paint(BasicTableHeaderUI.java:685)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.ComponentUI.update(ComponentUI.java:161)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintComponent(JComponent.java:780)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paint(JComponent.java:1056)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintToOffscreen(JComponent.java:5210)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paintDoubleBuffered(RepaintManager.java:1579)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paint(RepaintManager.java:1502)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paint(RepaintManager.java:1272)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(JComponent.java:5158)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(JComponent.java:4969)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:831)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.access$1200(RepaintManager.java:64)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$ProcessingRunnable.run(RepaintManager.java:1732)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:756)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.access$500(EventQueue.java:97)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:703)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(EventQueue.java:726)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
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
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:bugs] #4027 Sorting files in the file system browser not working

jedit-devel mailing list
In reply to this post by Gilward Kukel
  • status: open --> closed-fixed
  • assigned_to: Dale Anson
  • Comment:

Should be fixed in revision 24718. It appears the problem was a timing issue caused by reacting to mousePressed rather than mouseClicked.


[bugs:#4027] Sorting files in the file system browser not working

Status: closed-fixed
Group: normal bug
Created: Thu Jan 19, 2017 03:04 AM UTC by Gilward Kukel
Last Updated: Tue Jun 06, 2017 08:46 PM UTC
Owner: Dale Anson

jEdit version 5.3.0
java.version=1.8.0_66
java.vm.version=25.66-b17
java.vm.name=Java HotSpot(TM) Client VM
java.runtime.version=1.8.0_66-b17
java.runtime.name=Java(TM) SE Runtime Environment
java.vendor=Oracle Corporation
java.compiler=null
os.name=Windows 7
os.version=6.1
os.arch=x86

When I start jEdit (even with a clean profile) and try to sort files in the file system browser, it does not work (until I refresh the directory) and errors appear in the activity log. When I go to global options and press OK without changing anything, the sorting works (and no errors). When I close jEdit and start it again, it does not work again.
I also tried jEdit 5.3.1. Same behaviour.

from activity log:

[AWT-EventQueue-0] [debug] VFSDirectoryEntryTable$MouseHandler: VFSDirectoryEntryTable sorted by Name descending
[AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.ArrayIndexOutOfBoundsException: -1
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementData(Vector.java:734)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementAt(Vector.java:477)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.table.DefaultTableColumnModel.getColumn(DefaultTableColumnModel.java:294)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.getHeaderRenderer(BasicTableHeaderUI.java:693)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paintCell(BasicTableHeaderUI.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paint(BasicTableHeaderUI.java:685)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.ComponentUI.update(ComponentUI.java:161)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintComponent(JComponent.java:780)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paint(JComponent.java:1056)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintToOffscreen(JComponent.java:5210)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paintDoubleBuffered(RepaintManager.java:1579)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paint(RepaintManager.java:1502)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paint(RepaintManager.java:1272)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(JComponent.java:5158)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(JComponent.java:4969)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:831)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.access$1200(RepaintManager.java:64)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$ProcessingRunnable.run(RepaintManager.java:1732)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:756)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.access$500(EventQueue.java:97)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:703)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(EventQueue.java:726)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
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
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-devel ] [jedit:bugs] #4027 Sorting files in the file system browser not working

James-171
This fix alone would be worth releasing a new version right now. The most bugging issue I've ever had, and never realised how happy I would be if it was fixed (as opposed to just living with it).

I always presumed it was just something I should get used to.

Thank you so much Dale!

On Tue, Jun 20, 2017 at 9:16 PM, Dale Anson via jEdit-devel <[hidden email]> wrote:
  • status: open --> closed-fixed
  • assigned_to: Dale Anson
  • Comment:

Should be fixed in revision 24718. It appears the problem was a timing issue caused by reacting to mousePressed rather than mouseClicked.


[bugs:#4027] Sorting files in the file system browser not working

Status: closed-fixed
Group: normal bug
Created: Thu Jan 19, 2017 03:04 AM UTC by Gilward Kukel
Last Updated: Tue Jun 06, 2017 08:46 PM UTC
Owner: Dale Anson

jEdit version 5.3.0
java.version=1.8.0_66
java.vm.version=25.66-b17
java.vm.name=Java HotSpot(TM) Client VM
java.runtime.version=1.8.0_66-b17
java.runtime.name=Java(TM) SE Runtime Environment
java.vendor=Oracle Corporation
java.compiler=null
os.name=Windows 7
os.version=6.1
os.arch=x86

When I start jEdit (even with a clean profile) and try to sort files in the file system browser, it does not work (until I refresh the directory) and errors appear in the activity log. When I go to global options and press OK without changing anything, the sorting works (and no errors). When I close jEdit and start it again, it does not work again.
I also tried jEdit 5.3.1. Same behaviour.

from activity log:

[AWT-EventQueue-0] [debug] VFSDirectoryEntryTable$MouseHandler: VFSDirectoryEntryTable sorted by Name descending
[AWT-EventQueue-0] [error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[AWT-EventQueue-0] [error] AWT-EventQueue-0: java.lang.ArrayIndexOutOfBoundsException: -1
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementData(Vector.java:734)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.util.Vector.elementAt(Vector.java:477)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.table.DefaultTableColumnModel.getColumn(DefaultTableColumnModel.java:294)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.getHeaderRenderer(BasicTableHeaderUI.java:693)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paintCell(BasicTableHeaderUI.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.basic.BasicTableHeaderUI.paint(BasicTableHeaderUI.java:685)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.plaf.ComponentUI.update(ComponentUI.java:161)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintComponent(JComponent.java:780)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paint(JComponent.java:1056)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintToOffscreen(JComponent.java:5210)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paintDoubleBuffered(RepaintManager.java:1579)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$PaintManager.paint(RepaintManager.java:1502)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paint(RepaintManager.java:1272)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(JComponent.java:5158)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(JComponent.java:4969)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:831)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$4.run(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:814)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:789)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.prePaintDirtyRegions(RepaintManager.java:738)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager.access$1200(RepaintManager.java:64)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at javax.swing.RepaintManager$ProcessingRunnable.run(RepaintManager.java:1732)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:756)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.access$500(EventQueue.java:97)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:709)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue$3.run(EventQueue.java:703)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.AccessController.doPrivileged(Native Method)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(EventQueue.java:726)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
[AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)


Sent from sourceforge.net because [hidden email] 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.


------------------------------------------------------------------------------
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



------------------------------------------------------------------------------
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...