web-dev-qa-db-ja.com

gnome 3 / gtk + 3でタイトルバーの高さを下げる

gnome3.18を実行していますが、タイトルバーの高さを低くしたいと考えています。

何か案は ？

gnome3gtk3window-title
21
R Philippe

Gnome 3.20以降、.header-bar.default-decorationは機能しません。

フォローコンテンツを~/.config/gtk-3.0/gtk.cssに入れることができます：

/* shrink headerbars (don't forget semicolons after each property) */
headerbar {
    min-height: 0px;
    padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
    padding-right: 2px;
    background-color: #2d2d2d;
}

headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    margin-top: 0px; /* same as headerbar side padding for nicer proportions */
    margin-bottom: 0px;
}

/* shrink ssd titlebars */
.default-decoration {
    min-height: 0; /* let the entry and button drive the titlebar size */
    padding: 0px;
    background-color: #2d2d2d;
}

.default-decoration .titlebutton {
    min-height: 0px; /* Tweak these two props to reduce button size */
    min-width: 0px;
}

window.ssd headerbar.titlebar {
    padding-top: 3px;
    padding-bottom: 3px;
    min-height: 0;
}

window.ssd headerbar.titlebar button.titlebutton {
    padding-top: 3px;
    padding-bottom:3px;
    min-height: 0;
}

https://ogbe.net/blog/gnome_titles.html 経由

22
Robert Lu

タイトルバーのサイズを小さくするには、次の場所にcssファイルを作成します：~/.config/gtk-3.0/gtk.cssと以下のコードをコピーして貼り付けます。これにより、タイトルバーのサイズが変更されます。

.header-bar.default-decoration {
        padding-top: 0px;
        padding-bottom: 0px;
    }

.header-bar.default-decoration .button.titlebutton {
    padding-top: 0px;
    padding-bottom: 0px;
}

このコードを（同じファイルに）追加して、タイトルバーの下の行を削除し、サイズをもう少し小さくすることができます。

/* No line below the title bar */
.ssd .titlebar {
    border-width: 0;
    box-shadow: none;
}

押す ALT + F2、タイプ r 表示されてヒットしたボックス内 Enter gnomeシェルをリロードします。

そして、あなたは行ってもいいです:)

11
dreboy

ウィンドウを最大化するには、このGnomeシェル拡張 Pixel Saver と呼ばれる男 deadalnix をお勧めします。タイトルバーは非表示になりますが（ノートブックユーザーの場合はより多くのスペース）、ウィンドウのタイトルは黒いアクティビティバーに表示されます。

enter image description here

3
aliopi
.titlebar, headerbar {
    min-height: 0px;
    padding: 0px;
    margin: 0px;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    min-height: 0px;
    padding: 0px;
    margin: 1px;
}
/*
more or less normal
write this in ~\.config\gtk-3.0\gtk.css
use slashes instead of backslashes
slashes just terrifyin my nano (:
*/

my desktop gnome-session-flashbackを使用してUbuntu 18.04で動作します

1
D. Smirnov

Linuxディストリビューション、パッケージマネージャー、パッケージに応じて、Gnome Tweak Toolをインストールします。

Gnome Tweak Tool

サイドメニューの[Fonts]タブを選択します。

次に、（== // =）Window TitlesのText Heightを好きなだけ低い数に設定します。

Window Titles Font Selection

[〜＃〜]注[〜＃〜]：これは、古いバージョンのGNOMEにのみ適用されます

0
ILMostro_7