Hi Martin, the problem is that proffgeneral is in the universe repositories. So, there will be no bughandling from the core developers.
In such cases we tend to bring up such bugs upstream to the original developers. And there we have the next problem. Developers of emacs are not happy to get reports from not the very latest packages. And the very latest are on Quantal(emacs 24.x and not on Precise(emacs23.x). The strange variant where a pre upgrade to quantal: https://wiki.ubuntu.com/QuantalQuetzal/TechnicalOverview/Alpha2 but this is dangerous for your data(you may use dejadup for backup first - but backup in any way!). It may render your system unbootable. The second option is virtualisation. I give you a short howto(it is a standard text): Could you(someone) try to reproduce on a Ubuntu12.10 developer version with testdrive-gtk or virtualbox4.1.18 and report back? ----------------------------------------------- Both are Virtualisation programs and let you run Ubuntu12.10 as a normal program without touching your computer operating system. See for details: http://en.wikipedia.org/wiki/Virtual_machine ----------------------------------------------- testdirve-gtk is in the main repositories and available for installation by default on Ubuntu systems. The download, installation and starting of the virtualmachine of the newest Ubuntu version 12.10 can be handled within testdrive. virtualbox4.1.18 could be installed from: https://launchpad.net/~debfx/+archive/virtualbox The Ubuntu12.10 installation media must downloaded manually for virtualbox and could be downloaded from: http://cdimage.ubuntu.com/daily-live/current/ -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/996234 Title: Emacs takes 100% CPU when adding a new line at the end of a file (with Evil and ProofGeneral running). To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/emacs23/+bug/996234/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs