[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#30315: [PATCH] keyboard-escape-quit should give option not to delete
|
From: |
Richard Stallman |
|
Subject: |
bug#30315: [PATCH] keyboard-escape-quit should give option not to delete windows |
|
Date: |
Thu, 01 Feb 2018 21:15:25 -0500 |
[[[ 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. ]]]
> But what if other users don't like other things in ‘keyboard-escape-quit’
> or their priorities. Shouldn't all its actions be customizable?
The function is 16 lines and straightforward.
You could write another function to replace it.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
Skype: No way! See https://stallman.org/skype.html.