Menu

#150 Use mouse to change height of group interface

Next full release
closed
nobody
5
2017-05-20
2005-06-16
fdar
No

JabRef1.8b
The height of the group interface is currently modified
by using the yellow up and down arrows. It will be more
convenient if the panel height was changed with a mouse
drag.

Discussion

  • fdar

    fdar - 2015-07-22
    • Labels: --> groups
     
  • fdar

    fdar - 2015-07-22
    • Labels: groups --> interface, groups
     
  • fdar

    fdar - 2015-07-23
    • Labels: interface, groups --> interface, tocategorize, groups
     
  • fdar

    fdar - 2015-08-03
    • labels: interface, tocategorize, groups --> EntryBrowsing, GUI, MoreFlexible
    • Group: --> Next full release
     
  • Tobias

    Tobias - 2017-05-20
    • status: open --> closed
     

Log in to post a comment.