그놈 터미널에서 구별할 수 없는 활성 탭

Question 1

나는 활성 탭과 다른 탭의 가시성 사이에서 WTF를 찾는 데 오후의 대부분을 보냈습니다.https://developer.gnome.org/gtk3/stable/GtkNotebook.htmlOP와 같은 이유로 기본 테마(Raleigh)가 포함된 위젯입니다. 어느 탭이 활성화되어 있는지 한눈에 확인하는 것이 거의 불가능하다는 사실에 마침내 지쳤습니다. (활성 탭이 테두리에 연결되는 부분에는 분명한 차이가 있지만 너무 미묘해서 어떤 용도로도 사용할 수 없습니다.)

내가 아는 한, 기본 테마는 이런 식으로 되어서는 안 되며, 출시 이후 아무도 이를 수정하지 않았습니다. (아니면 그냥 직접 고쳐서 블로그 등에 올려도 됩니다.) 다음과 같이 신고하겠습니다.https://bugzilla.gnome.org/show_bug.cgi?id=741185.

해결책은 이것을 .config/gtk-3.0/gtk.css에 넣는 것입니다.

.notebook tab:active {
    background-color: darker(@bg_color);                                 
}

왜냐하면https://git.gnome.org/browse/gtk+/tree/gtk/theme/Raleigh/gtk-default.css오류가 있습니다. gtk-default.css는 Raleigh 테마로 gtk+로 컴파일되므로 어딘가에 다른 기본값이 없으면 그것이 사용됩니다.

...
notebook .active-page {
  color: @selected_fg_color;
  background-color: darker (@bg_color);
}
...

CSS는 실제로 아무것도 하지 않습니다. "활동 페이지"는 문자열입니다.https://git.gnome.org/browse/gtk+/tree/gtk/gtknotebook.c확인해 보세요. 적절한 CSS 요소의 이름도 아니고 올바른 명사도 아닙니다. 또한 색상 속성은 노트북 탭에 영향을 주지 않습니다.

코드는 다음 커밋에서 나옵니다. https://git.gnome.org/browse/gtk+/commit/gtk/gtk-default.css?id=7cd3e7c81bf82bc51f2891e332575d1fbe3dde4e

예, 파일을 추적하고 이름을 바꾸는 데 약 10분을 3번 정도 소비했습니다. 메스꺼움. (diffstat의 링크를 따라 이름 바꾸기를 찾은 다음 -> 상위 커밋 -> 트리를 찾아 파일을 찾습니다. 로그를 보고 이를 도입한 이름 바꾸기 커밋에서 반복합니다.)

이 문제를 조사하면서 찾은 링크는 다음과 같습니다. https://askubuntu.com/questions/400979/how-to-change-gtk-notebook-tabs

http://www.gtkforums.com/viewtopic.php?f=3&t=988&p=72092&hilit=Styling+a+Notebook+with+gtk3+and+css#p72092 라벨에 둥근 모서리를 두는 것과 같은 펑키한 작업을 수행했습니다. 그러나 활성 탭에 영향을 미치는 올바른 구문이 무엇인지 알려주지 않습니다. 또한 둘 중 하나가 작동하는 것 같아서 왜 GtkNotebook { }대신 사용하는지 모르겠습니다 ..notebook { }

http://harts.net/reece/2013/02/26/highlighting-the-active-tab-in-gnome-terminal/ 이는 자격을 갖추어 수정 사항을 gnome-terminal로만 제한할 수 있음을 의미합니다.TerminalWindow .notebook tab:active

https://developer.gnome.org/gtk3/stable/gtk-migration-GtkStyleContext-css.htmlgtk CSS 하위 집합에 대한 기본 지식. 예를 들어 // 주석은 작동하지 않으며 /* */만 사용할 수 있습니다.

CSS를 조정하는 경우 이를 테스트하는 가장 쉬운 방법은 다른 셸로 전환하고 gedit file1 file2를 실행하는 것입니다. (파일이 이미 존재하므로 저장하라는 메시지가 표시되지 않습니다.) 빠르게 나타나고 빠르게 다시 닫을 수 있습니다.

Answer

나는 활성 탭과 다른 탭의 가시성 사이에서 WTF를 찾는 데 오후의 대부분을 보냈습니다.https://developer.gnome.org/gtk3/stable/GtkNotebook.htmlOP와 같은 이유로 기본 테마(Raleigh)가 포함된 위젯입니다. 어느 탭이 활성화되어 있는지 한눈에 확인하는 것이 거의 불가능하다는 사실에 마침내 지쳤습니다. (활성 탭이 테두리에 연결되는 부분에는 분명한 차이가 있지만 너무 미묘해서 어떤 용도로도 사용할 수 없습니다.)