From: Chris S. <je...@sa...> - 2003-08-23 08:23:52
|
FaderTabs For those not on the developer list, FaderTabs is a new plugin that at first glance seems like BufferTabs. However FaderTabs provides: * An option to show only the most recently used buffers. - i.e unused buffers fade away from sight * Resizing the tab pane shows more buffers * Coloured tabs based on file type, for easy finding * Popup menus 'Mozilla-style' * Edit mode aware custom popup menu using BeanShell scripts * Middle-clicking close option * Tab ordering by Alpha or most recently used * Tab panes attached to buffer, toolbars or dock The code is stable beta at the moment with all functionally but tab pane positioning working. You can try it here: README: http://www.samuels.net.nz/jedit/fadertabs/index.html PLUGIN: http://www.samuels.net.nz/jedit/fadertabs/FaderTabs.jar All suitable feature requests welcome. -- Chris Samuels Brad Mace wrote: > I think we now have about 5 versions of BufferTabs running around, all > with slightly different features. It's great that so many people are > making improvements, but we really need to move all these changes back > into the main BufferTabs plugin as options, including the FaderTabs > plugin. So many plugins doing the same thing gets confusing, especially > for new users. I'd actually extend this argument to all > buffer-switching plugins. Having options is great, but if we could put > them in fewer places, it would be easier for people to find and use them. > > If no one is actively maintaining buffer tabs, I'd say everyone who has > made tweaks to BufferTabs should make their change an option, and commit > it back to the core so everyone can use it. > > Paul Stone wrote: > >> Hi, >> >> I started using the buffertabs plugin recently, but soon realised that >> I was >> missing the ability to close a tab by middle-clicking on it, like I'm >> used >> to in mozilla. >> >> I decided to have a go at adding this feature to buffertabs myself, >> and was >> quite surprised when it worked! >> >> I now find this feature to be very useful when I end up with too many >> tabs >> open, and want to quickly close a few of them. I can now do this without >> actually switching to each buffer beforehand. You can also >> double-click in >> the empty space on the tab strip to create a new file. >> >> So, if anyone else wants a copy of my modified version, you can get it >> from >> http://www.stonie.co.uk/jedit/BufferTabs.jar . A zip of the source is >> in the >> same directory on the website. >> >> Please note that this has only been tested on my own computer, running >> winXP, java 1.4.2 and jedit4.2pre4 , so I can't guarantee it will work >> for >> anyone else. >> >> Also note that this the first time I've written any code for jEdit or >> used >> tools like Ant, so I don't know if I've done everything the 'correct' >> way. >> >> That said, let me know if it works for you and if you find it useful. >> >> Thanks, >> Paul >> >> |