Download:
child 214:51db59e68f0b
parent 212:f5b235eee660
213:67ef4e6e6ceb
Anton Shestakov <av6@dwimlabs.net>, Sat, 08 May 2021 07:52:45 +0800
terminalrc: add new terminal options, switch to 11 font (the same as old 10?)

1 файлов изменено, 3 вставок(+), 1 удалений(-) [+]
.config/xfce4/terminal/terminalrc file | annotate | diff | comparison | revisions
--- a/.config/xfce4/terminal/terminalrc Tue Mar 23 15:14:13 2021 +0800
+++ b/.config/xfce4/terminal/terminalrc Sat May 08 07:52:45 2021 +0800
@@ -2,7 +2,7 @@
BackgroundDarkness=0,800000
BackgroundMode=TERMINAL_BACKGROUND_TRANSPARENT
ColorPalette=#000000;#cc0000;#4e9a06;#c4a000;#3465a4;#75507b;#06989a;#d3d7cf;#555753;#ef2929;#8ae234;#fce94f;#739fcf;#ad7fa8;#34e2e2;#eeeeec
-FontName=Monospace 10
+FontName=Monospace 11
FontUseSystem=TRUE
MiscAlwaysShowTabs=FALSE
MiscBell=FALSE
@@ -22,7 +22,9 @@
MiscMouseWheelZoom=TRUE
MiscNewTabAdjacent=FALSE
MiscRewrapOnResize=TRUE
+MiscSearchDialogOpacity=100
MiscShowRelaunchDialog=TRUE
+MiscShowUnsafePasteDialog=TRUE
MiscSlimTabs=FALSE
MiscTabCloseButtons=TRUE
MiscTabCloseMiddleClick=TRUE