[Expired for emacs23 (Ubuntu) because there has been no activity for 60
days.]
** Changed in: emacs23 (Ubuntu)
Status: Incomplete => Expired
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to emacs23 in 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).
Status in “emacs23” package in Ubuntu:
Expired
Bug description:
Hi,
I’m not used with Emacs (I’m more a Vim user) but as it includes a module
“ProofGeneral” to work with Coq, I was working on it. The “Evil” package was
active too. Both of those package were installed throw “el-get”: there
shouldn’t be any installation problem with my packages.
It seems that each time I’m going to the end and adding a new line on a Coq
file, Emacs takes 100% of the CPU. I had to kill it each time (I’ve tested it
several times on my Coq files).
I’ve just updated my system to Precise, but the bug was still there in
Oneiric (here is the dupplicate bug report:
https://bugs.launchpad.net/ubuntu/+source/emacs23/+bug/988839).
I guess this is more due to “proofGeneral”, but I’m not sure of it.
Martin.
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: emacs23-nox 23.3+1-1ubuntu9
ProcVersionSignature: Ubuntu 3.2.0-24.38-generic 3.2.16
Uname: Linux 3.2.0-24-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 2.0.1-0ubuntu7
Architecture: amd64
CheckboxSubmission: 01a18e0a74cbde3d34a62f62830ed079
CheckboxSystem: f134069bba098730d27f59b402920826
Date: Tue May 8 00:42:40 2012
ExecutablePath: /usr/bin/emacs23-nox
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012)
SourcePackage: emacs23
UpgradeStatus: Upgraded to precise on 2012-05-07 (0 days ago)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/emacs23/+bug/996234/+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
