Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Bug#552981: emacs23: toplevel interaction is extremely slow

7 views
Skip to first unread message

Vladimir Komendantsky

unread,
Oct 29, 2009, 1:30:02 AM10/29/09
to
Package: emacs23
Version: 23.1+1-4
Severity: important

I've found that computations involving calls to a language toplevel
take at least 3 times longer in emacs 23.1 compared to emacs 22.3. In
both cases I use the same ProofGeneral mode version 3.7 that comes
with Debian squeeze.

As a result, I have to revert to emacs 22.3 to retain productivity.

Regards,
Vladimir

-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.30lowlatency.1 (SMP w/2 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages emacs23 depends on:
ii emacs23-bin-common 23.1+1-4 The GNU Emacs editor's shared, arc
ii install-info 4.13a.dfsg.1-5 Manage installed documentation in
ii libasound2 1.0.21a-1 shared library for ALSA applicatio
ii libatk1.0-0 1.28.0-1 The ATK accessibility toolkit
ii libc6 2.9-25 GNU C Library: Shared libraries
ii libcairo2 1.8.8-2 The Cairo 2D vector graphics libra
ii libdbus-1-3 1.2.16-2 simple interprocess messaging syst
ii libfontconfig1 2.6.0-4 generic font configuration library
ii libfreetype6 2.3.11-1 FreeType 2 font engine, shared lib
ii libgif4 4.1.6-8 library for GIF images (library)
ii libglib2.0-0 2.22.2-2 The GLib library of C routines
ii libgpm2 1.20.4-3.2 General Purpose Mouse - shared lib
ii libgtk2.0-0 2.18.2-1 The GTK+ graphical user interface
ii libice6 2:1.0.5-1 X11 Inter-Client Exchange library
ii libjpeg62 6b-15 The Independent JPEG Group's JPEG
ii libm17n-0 1.5.4-1+b1 a multilingual text processing lib
ii libncurses5 5.7+20090803-2 shared libraries for terminal hand
ii libotf0 0.9.9-1 A Library for handling OpenType Fo
ii libpango1.0-0 1.26.0-1 Layout and rendering of internatio
ii libpng12-0 1.2.40-1 PNG library - runtime
ii librsvg2-2 2.26.0-1 SAX-based renderer library for SVG
ii libsm6 2:1.1.1-1 X11 Session Management library
ii libtiff4 3.9.1-1 Tag Image File Format (TIFF) libra
ii libx11-6 2:1.2.2-1 X11 client-side library
ii libxft2 2.1.13-3 FreeType-based font drawing librar
ii libxpm4 1:3.5.7-2 X11 pixmap library
ii libxrender1 1:0.9.4-2 X Rendering Extension client libra
ii zlib1g 1:1.2.3.3.dfsg-15 compression library - runtime

emacs23 recommends no packages.

Versions of packages emacs23 suggests:
ii emacs23-common-non-dfsg 23.1+1-1 GNU Emacs shared, architecture ind

-- no debconf information

--
To UNSUBSCRIBE, email to debian-bugs-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org

Rob Browning

unread,
Nov 1, 2009, 4:00:01 PM11/1/09
to
Vladimir Komendantsky <komend...@gmail.com> writes:

> I've found that computations involving calls to a language toplevel
> take at least 3 times longer in emacs 23.1 compared to emacs 22.3. In
> both cases I use the same ProofGeneral mode version 3.7 that comes
> with Debian squeeze.

Can you elaborate on the problem?

Thanks
--
Rob Browning
rlb @defaultvalue.org and @debian.org; previously @cs.utexas.edu
GPG as of 2002-11-03 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4

0 new messages