Warning: file_get_contents(/data/phpspider/zhask/data//catemap/5/flutter/10.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
在cygwin/windows 10上设置mintty窗口的边框宽度_Cygwin_Mintty - Fatal编程技术网

在cygwin/windows 10上设置mintty窗口的边框宽度

在cygwin/windows 10上设置mintty窗口的边框宽度,cygwin,mintty,Cygwin,Mintty,使用Windows 10在Cygwin上运行mintty时,如果有两个打开的窗口部分重叠,并且没有焦点,则底部和非滚动条边框不可见,并且两个窗口的文本一起运行 有没有办法使这些边框更宽一些?我使用了一种变通方法:我为每个窗口指定不同的背景色。每次打开新窗口时,都可以通过“选项”上下文菜单完成此操作 但是,您也可以自动化。我已将下面的代码添加到“.bashrc”中,以选择“下一个可用”颜色。颜色列表只是RGB值的列表 # Set the next available background colo

使用Windows 10在Cygwin上运行mintty时,如果有两个打开的窗口部分重叠,并且没有焦点,则底部和非滚动条边框不可见,并且两个窗口的文本一起运行


有没有办法使这些边框更宽一些?

我使用了一种变通方法:我为每个窗口指定不同的背景色。每次打开新窗口时,都可以通过“选项”上下文菜单完成此操作

但是,您也可以自动化。我已将下面的代码添加到“.bashrc”中,以选择“下一个可用”颜色。颜色列表只是RGB值的列表

# Set the next available background colour
for COLOUR in 0,0,0 100,0,0 0,100,0 0,0,100
do
    PIDFILE=/var/run/mintty-bgcolour-${COLOUR}.pid
    PID=`[ -e $PIDFILE ] && cat $PIDFILE`

    if ! kill -0 "$PID" 2>/dev/null
    then
        echo $$ > $PIDFILE
        echo -ne '\e]11;'$COLOUR'\a'
        trap 'rm -f '$PIDFILE EXIT
        break
    fi
done
unset COLOUR PIDFILE

另一个解决方法是将窗口“选项”中的透明度设置为“中等”,然后选中“聚焦时不透明”框。除活动窗口外,所有窗口的背景颜色都会有所不同。

~/.mintyrc
文件中添加一行内容:

Padding=8


这将在所有随后启动的mintty终端的窗框内侧添加一个8px边框。当然,您可以将
8
更改为任何您喜欢的大小。

如果您添加问题的屏幕截图,这将非常有用。设置边框(宽度)将非常有用。很难相信这是不可能的。