GNU bug report logs - #57639
[PATCH] Add new command 'toggle-theme'

Previous Next

Full log

Message #125 received at 57639 <at> debbugs.gnu.org (full text, mbox):

From: Richard Stallman <rms <at> gnu.org>
To: Philip Kaludercic <philipk <at> posteo.net>
Cc: eliz <at> gnu.org, larsi <at> gnus.org, 57639 <at> debbugs.gnu.org
Subject: Toggling, in general
Date: Mon, 19 Sep 2022 23:40:33 -0400

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

Is anyone investigating the idea of a more general UI facility
for toggling various kinds of settings?

This oculd be a prefix key.  Or we might be able to do this more
deeply, and implement toggling various kinds of settings with one Liep
command.

Either way, it would do many jobs and not require users to remember
may different commands.

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.