forks
/
arsd
mirror of https://github.com/adamdruppe/arsd.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

allow easier opting out of the superior gui interface when using terminal direct to emulator

This commit is contained in:
Adam D. Ruppe 2022-10-24 16:34:22 -04:00
parent 2e7b822c5b
commit 2a18bc805c
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
terminal.d
View File

@ -1226,6 +1226,7 @@ struct Terminal {
import arsd.simpledisplay; import arsd.simpledisplay;
static if(UsingSimpledisplayX11) { static if(UsingSimpledisplayX11) {
if(!integratedTerminalEmulatorConfiguration.preferDegradedTerminal)
try { try {
if(arsd.simpledisplay.librariesSuccessfullyLoaded) { if(arsd.simpledisplay.librariesSuccessfullyLoaded) {
XDisplayConnection.get(); XDisplayConnection.get();
@ -8411,6 +8412,19 @@ version(TerminalDirectToEmulator) {
Added June 15, 2021. Included in release v10.1.0. Added June 15, 2021. Included in release v10.1.0.
+/ +/
bool ctrlCCopies = false; // FIXME: i could make this context-sensitive too, so if text selected, copy, otherwise, cancel. prolly show in statu s bar bool ctrlCCopies = false; // FIXME: i could make this context-sensitive too, so if text selected, copy, otherwise, cancel. prolly show in statu s bar
/++
When using the integrated terminal emulator, the default is to assume you want it.
But some users may wish to force the in-terminal fallback anyway at start up time.
Seeing this to `true` will skip attempting to create the gui window where a fallback
is available. It is ignored on systems where there is no fallback. Make sure that
[fallbackToDegradedTerminal] is set to `true` if you use this.
History:
Added October 4, 2022 (dub v10.10)
+/
bool preferDegradedTerminal = false;
} }
/+ /+