[ jEdit-devel ] [jedit:plugin-feature-requests] #196 Navigator: make back/forward list dockable

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[ jEdit-devel ] [jedit:plugin-feature-requests] #196 Navigator: make back/forward list dockable


Did this ever happen? It (right click to show the list) doesn't seem to work in trunk, and I don't see any daily for Navigator.

[plugin-feature-requests:#196] Navigator: make back/forward list dockable

Status: closed
Created: Wed Mar 17, 2010 03:23 PM UTC by Roland Dalmulder
Last Updated: Wed Mar 17, 2010 07:17 PM UTC
Owner: Dale Anson

By dockable I mean to be able to dock the forward and backward list on either left or right side of my
screen. Just like the File Browser for example.

Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

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

Rapidly troubleshoot problems before they affect your business. Most IT
organizations don't have a clear picture of how application performance
affects their revenue. With AppDynamics, you get 100% visibility into your
Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro!
jEdit Developers' List
[hidden email]