bug-auctex
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#70455: [PATCH] Add new user option `preview-leave-open-previews-visi

From: Paul Nelson
Subject: bug#70455: [PATCH] Add new user option `preview-leave-open-previews-visible'
Date: Tue, 23 Apr 2024 17:47:35 +0200 
Sounds good, thanks!  Paul
reply via email to
[Prev in Thread] Current Thread [Next in Thread]