** Project changed: linuxmint => devhelp (Ubuntu) -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to devhelp in Ubuntu. https://bugs.launchpad.net/bugs/1329759
Title: Devhelp gui Status in “devhelp” package in Ubuntu: New Bug description: I do not know if this a general devhelp issue. I think is Linux Mint 16 (or Cinnamon for 64) related. The index, on the left, is not included in a scrolled box so shrinking the left panel moves the index and the search text box "out of the window" (making it invisible). :From "mintwelcome" Linux Mint 16 "petra" Cinnamon 64-bit :from console >uname -a Linux ilias-desktop 3.11.0-12-generic #19-Ubuntu SMP Wed Oct 9 16:20:46 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux >devhelp --version Devhelp 3.8.2 >cinnamon --version Cinnamon 2.0.14 Thanks ilias To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/devhelp/+bug/1329759/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
