#5 AntFarm1.0 / Sessions0.7.1

closed-works-for-me
James Wilson
None
5
2004-09-28
2001-10-11
Anonymous
No

With Session switcher displayed in toolbar, applying
AntFarm global options (even if no options are
changed) causes Session switcher to be duplicated in
the toolbar.

( A minor problem, I know. Turning the switcher
toolbar display off and on again resolves the
display. )

Discussion

  • Brian Knowles
    Brian Knowles
    2001-10-11

    Logged In: YES
    user_id=190620

    This occurs when applying _any_ plugin's global options. It
    only occurs when "Add it to jEdit's main toolbar is
    checked" under the Session option pane. I'll leave it to
    Dirk to find the solution, I've got my own fires to put out
    today!

    -Brian

     
  • Brian Knowles
    Brian Knowles
    2001-10-11

    • assigned_to: nobody --> dmoebius
     
  • Logged In: NO

    Brian is right. I'll have a look into it...
    Dirk.

     
  • Slava Pestov
    Slava Pestov
    2003-05-29

    • labels: 102671 -->
    • assigned_to: dmoebius --> nobody
     
  • Brad Mace
    Brad Mace
    2003-06-17

    • assigned_to: nobody --> jiwils
     
  • Steve Jakob
    Steve Jakob
    2004-09-28

    Logged In: YES
    user_id=17432

    Bug appears to have been fixed at some point. Tested with
    jEdit 4.2, Sessions 1.2.0.

     
  • Steve Jakob
    Steve Jakob
    2004-09-28

    • status: open --> closed-works-for-me