Menu

#934 BufferSelector 1.9

None
closed
None
5
2014-02-16
2014-02-11
Alan Ezust
No

{{{ BufferSelector 1.9
Source: Source code is in Git with the tag 1.9
Announcement: Updated for jEdit 5.2. Bugfix release.
Requires Java 1.6
Requires jEdit 05.01.99.00

Short Description: Creates a row of buttons, one for switching to each buffer, at the top or bottom of the View. 
Long Description: <html>


Creates a toolbar, as a row of buttons, one for switching to each buffer, at the top or bottom of each View.
Similar to BufferTabs, but the row of buttons is shared between split EditPanes in the same View.

</html>
}}}

Discussion

  • Alan Ezust

    Alan Ezust - 2014-02-11
    • summary: BufferSelector --> BufferSelector 1.9
     
  • Townsfolk

    Townsfolk - 2014-02-16

    Getting compile error:
    [jp.javac] /Users/elberry/development/projects/jedit/release-sandbox/BufferSelector-1.9/BufferSelector/bufferselector/BufferSelector.java:192: error: cannot find symbol
    [jp.javac] for (Buffer buffer: view.getBuffers())
    [jp.javac] ^
    [jp.javac] symbol: method getBuffers()
    [jp.javac] location: variable view of type View
    [jp.javac] 1 error

     
  • Townsfolk

    Townsfolk - 2014-02-16
    • status: open --> pending
    • assigned_to: Townsfolk
     
  • Alan Ezust

    Alan Ezust - 2014-02-16

    Oops. Looks like it depends on jEdit 5.1. I just bumped the depend and re-tagged.

     
  • Alan Ezust

    Alan Ezust - 2014-02-16
    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -2,7 +2,7 @@
         Source: Source code is in Git with the tag 1.9
         Announcement: Updated for jEdit 5.2. Bugfix release. 
         Requires Java 1.6
    -    Requires jEdit 05.00.99.00
    +    Requires jEdit 05.01.99.00
    
         Short Description: Creates a row of buttons, one for switching to each buffer, at the top or bottom of the View. 
         Long Description: <html>
    
    • status: pending --> open
     
  • Townsfolk

    Townsfolk - 2014-02-16
    • status: open --> closed
     

Log in to post a comment.