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 Desktop
Packages, which is subscribed to devhelp in Ubuntu.
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
