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

**URL:** <https://pluralist.net/t/leslie-lamports-emacs-setup-on-windows-dosbox-x-2024-02-23/86>\
**Category:** breadcrumbs\
**Created:** [February 23, 2024, 6:00pm UTC](https://pluralist.net/t/leslie-lamports-emacs-setup-on-windows-dosbox-x-2024-02-23/86 "2024-02-23T18:00:02Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![delyan](https://pluralist.net/user_avatar/pluralist.net/delyan/32/245_2.png) [@delyan](https://pluralist.net/u/delyan)\
**Post date:** [February 23, 2024, 6:00pm UTC](https://pluralist.net/t/leslie-lamports-emacs-setup-on-windows-dosbox-x-2024-02-23/86/1 "2024-02-23T18:00:02Z")

</div>

Leslie Lamport uses Emacs (src1, [src2](https://www.reddit.com/r/emacsporn/comments/x6x7ys/leslie_lamport_writing_a_paper_with_emacs/))!

 ![image](https://pluralist.net/uploads/default/original/1X/f2f50bd5cd50afd6da88536079561931164560f9.jpeg)

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](https://www.sumatrapdfreader.org/free-pdf-reader) - PDF reader for Windows (I am sponsoring [Krzysztof Kowalczyk](https://github.com/kjk) via GitHub)
- [TLA+toolbox](https://en.wikipedia.org/wiki/TLA%2B#IDE)

Presumably his `.emacs` file may look something like this:

```auto
(custom-set-variables
 '(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)

```

* * *

# Links

- [Deconstructing the Bakery to Build a Distributed State Machine](https://vimeo.com/733701306)
- Leslie Lamport: “…the best medium is hypertext…” + “we should get rid of our 17th century habit of writing on dead trees.  
PDF was designed for printing, and cannot do hypertext…” ([src](https://lists.gnu.org/archive/html/emacs-orgmode/2016-10/msg00204.html))

* * *

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

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

```

Someone else ran into this too:

- [https://www.reddit.com/r/emacs/comments/15xv71w/my\_favorite\_theme\_lightbluetheme\_was\_obsoleted\_in/](https://www.reddit.com/r/emacs/comments/15xv71w/my_favorite_theme_lightbluetheme_was_obsoleted_in/)
  - There is a discussion in [emacs-devel@gnu.org](mailto:emacs-devel@gnu.org) on [“Why has the light blue theme been made obsolete?”](https://lists.gnu.org/archive/html/emacs-devel/2021-10/msg00163.html)
  - [bug report](https://debbugs.gnu.org/cgi/bugreport.cgi?bug=47047#17)

* * *

Speaking of Windows…

Windows 98 was my favorite.

 ![image](https://pluralist.net/uploads/default/original/1X/a68b83d7a11cff46d1a068d107bb0ae3dd469344.png) ([src](https://dosbox-x.com))

Happy to find out that [DOSBox-X](https://dosbox-x.com) 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](https://www.reddit.com/r/chromeos/comments/yauqkc/dosboxx_on_chromeos_howto_from_a_noob_for_other/) too!

 ![image](https://pluralist.net/uploads/default/original/1X/e5a68ae73366d8fc7f7b91d4a2469deb8cade900.png)