Public bug reported:
Binary package hint: proofgeneral
There is an option to disable the splash-screen in proofgeneral.
Unfortunately, when one starts proofgeneral from the command line, this
doesn't work. I used Customize to change the value of this variable.
** Affects: proofgeneral (Ubuntu)
Importance: Undecided
Status: New
--
Proofgeneral splash-image cannot be disabled
https://bugs.launchpad.net/bugs/426686
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
