Leslie Lamport's Emacs Setup on Windows; DOSBox-X! (2024-02-23)

Leslie Lamport uses Emacs (src1, src2)!

Here is what we know about his setup:

  • os: Windows 11 - dark system, light applications
  • Emacs with light-blue theme
  • Latex in a message buffer
  • sumatrapdf - PDF reader for Windows (I am sponsoring Krzysztof Kowalczyk via GitHub)
  • TLA+toolbox

Presumably his .emacs file may look something like this:

 '(column-number-mode t)
 '(custom-enabled-themes '(light-blue))
 '(tool-bar-mode nil))

(menu-bar-mode 1)
(toggle-scroll-bar 1)
(tool-bar-mode -1)
(column-number-mode 1)


As it turns out the light-blue theme may no longer be available in Emacs 29.1+

⛔ Warning (initialization): The `light-blue' theme is obsolete since Emacs 29.1

Someone else ran into this too:

Speaking of Windows…

Windows 98 was my favorite.


Happy to find out that DOSBox-X is an active project and available for many platforms.
Install on macOS is as simple as brew install dosbox-x.
DOSBox-X runs on ChromeOS too!