Menu

#86 Tab size incorrect after dragging tab to a different window

NotABug
wont-fix
None
5
2015-09-05
2012-07-27
Anonymous
No

Version affected (this isn't selectable in the drop down on the form): roxterm-gtk3 2.6.4-1

Expected behavior: When dragging a tab to another window, all tabs are of equal size.

Actual behavior: When dragging a tab from one window to another, the tab size shrinks. The only text displayed on it is "..."

The bug only occurs in the GTK3 version of RoxTerm. The GTK2 version displays tabs as expected when dragged.

Discussion

  • Tony Houghton

    Tony Houghton - 2012-07-27

    I can't reproduce it in 2.6.5 which has no changes in tab handling code since 2.6.4. It could depend on window manager or theme. I'm using gnome-shell with Adwaita.

     
  • Tony Houghton

    Tony Houghton - 2012-08-08

    I can reproduce this after all by releasing the dragged tab with the mouse over the tab bar instead of over the terminal body.

     
  • Tony Houghton

    Tony Houghton - 2013-02-22

    I've tried all evening to fix this, and I can't, GTK has a nasty bug which is blocking it. I've reported it: https://bugzilla.gnome.org/show_bug.cgi?id=675457 - but I doubt anyone will take any notice and it will stay broken forever. All I can suggest is drop your tabs over the main part of the target window instead of the tab bar.

     
  • Tony Houghton

    Tony Houghton - 2013-02-24
    • status: open --> wont-fix
    • milestone: --> v1.0_(example)
     
  • Marc Zonzon

    Marc Zonzon - 2015-09-05

    I have this bug since a long time, presntly on roxterm 2.9.5 GTK3. It is a real annoyance as you end up with many indistinguishable tabs, all labeled with "...".
    And I only find now this old thread, with the working fix

    drop your tabs over the main part of the target window instead of the tab bar.

    If this cannot be fixed in the code, at least it should be put in the manual in the Drag & Drop section.

     

    Last edit: Marc Zonzon 2015-09-05

Anonymous
Anonymous

Add attachments
Cancel





MongoDB Logo MongoDB