Установите ширину границы для окна minty на cygwin/windows 10

При запуске mintty на Cygwin с Windows 10, если у меня открыты два окна, которые частично перекрываются, и ни одно из них не имеет фокуса, нижняя граница и границы без полосы прокрутки невидимы, а текст обоих окон работает вместе.

Есть ли способ сделать эти границы немного шире?


person Tom Hall    schedule 03.08.2018    source источник
comment
Будет полезно, если вы добавите скриншот своей проблемы.   -  person Biswapriyo    schedule 17.10.2018
comment
Установка границы (ширины) была бы более чем полезной. Трудно поверить, что это невозможно.   -  person Wolfgang R.    schedule 18.08.2020


Ответы (2)


Я использую обходной путь: я назначаю каждому окну свой цвет фона. Это можно сделать через контекстное меню «Параметры» каждый раз, когда вы открываете новое окно.

Однако вы также можете автоматизировать. Я добавил приведенный ниже код в свой «.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

Другой обходной путь - установить прозрачность в «параметрах» окна, скажем, «Среднюю», а затем установить флажок «Непрозрачный при фокусировке». Этот вид дает вам другой цвет фона во всех окнах, кроме активного.

person Claude    schedule 24.07.2019

В файле ~/.minttyrc добавьте строку, в которой говорится:

Padding=8

Это добавляет 8-пиксельную границу внутри рамки окна для всех впоследствии запущенных терминалов minty. Конечно, вы можете изменить 8 на любой размер, который вам нравится.

person Jeff    schedule 08.05.2021
comment
Кажется, не работает в v3.5.0 - person mheyman; 28.06.2021