You have been subscribed to a public bug: 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 ** Affects: devhelp (Ubuntu) Importance: Undecided Status: New -- Devhelp gui https://bugs.launchpad.net/bugs/1329759 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs