В gitk есть две панели, верхняя панель, которая отображает в основном список коммитов, и нижнюю панель, в которой отображаются изменения этого фиксации. Так или иначе, с этой недели я не могу настроить высоту этих двух панелей, например, сделать один из них большим/меньшим. Любая идея почему?
Нижняя панель Gitk не может изменять размер
Ответ 1
Может быть, вы не видите тонкий виджет изменения размера? Это между поисковыми панелями:
Попробуйте изменить опцию "Редактировать - Настройки - Использовать тематические виджеты" и перезапустить Gitk.
Ответ 2
Надвиньте очень медленно рядом с тем, где расположены кнопки радио для патча и дерева, и вы увидите, что курсор изменится на значок изменения размера.
Ответ 3
На всякий случай это не технический вопрос, а проблема пользователя, обратите внимание, что линия изменения размера для захвата не там, где она должна быть. Это не строка окна над надписью "SHA1 ID:", но над кнопкой "Поиск" и под кнопками "next" и "prev". Это крайне неинтуитивно.