[ jEdit-devel ] [jedit:bugs] #4033 File Browser Layout Problem

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

[ jEdit-devel ] [jedit:bugs] #4033 File Browser Layout Problem

GeoffC

[bugs:#4033] File Browser Layout Problem

Status: open
Group: minor bug
Created: Thu Mar 30, 2017 12:21 AM UTC by GeoffC
Last Updated: Thu Mar 30, 2017 12:21 AM UTC
Owner: nobody
Attachments:

Installed 5.4.0 over the top of 5.3.0, using Java 1.8.0_92 on Windows 10. The File Browser bottom pane, the table of content, no longer fills the full area of the splitpane, leaving grey space below, and to the side if expanded enough. The top pane with the tree of folders can no longer be expanded beyond the minimum size of the content.


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
|

[ jEdit-devel ] [jedit:bugs] #4033 File Browser Layout Problem

GeoffC

No idea why but a couple of shutdowns and restarts and it's back to normal now so this can be closed. Sorry for the trouble!


[bugs:#4033] File Browser Layout Problem

Status: open
Group: minor bug
Created: Thu Mar 30, 2017 12:21 AM UTC by GeoffC
Last Updated: Thu Mar 30, 2017 12:21 AM UTC
Owner: nobody
Attachments:

Installed 5.4.0 over the top of 5.3.0, using Java 1.8.0_92 on Windows 10. The File Browser bottom pane, the table of content, no longer fills the full area of the splitpane, leaving grey space below, and to the side if expanded enough. The top pane with the tree of folders can no longer be expanded beyond the minimum size of the content.


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
|

[ jEdit-devel ] [jedit:bugs] #4033 File Browser Layout Problem

Alan Ezust-2
In reply to this post by GeoffC
  • status: open --> closed-invalid
  • Comment:

jedit doesn't quit properly after an upgrade if you are running it.
you gotta kill the process manually.


[bugs:#4033] File Browser Layout Problem

Status: closed-invalid
Group: minor bug
Created: Thu Mar 30, 2017 12:21 AM UTC by GeoffC
Last Updated: Thu Mar 30, 2017 01:11 AM UTC
Owner: nobody
Attachments:

Installed 5.4.0 over the top of 5.3.0, using Java 1.8.0_92 on Windows 10. The File Browser bottom pane, the table of content, no longer fills the full area of the splitpane, leaving grey space below, and to the side if expanded enough. The top pane with the tree of folders can no longer be expanded beyond the minimum size of the content.


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