web-dev-qa-db-ja.com

Ubuntu 18.04でテーマを切り替えずにアプリのタイトルバーの高さを下げる

example

テーマを切り替えずにアプリのタイトルバーの高さを下げるにはどうすればよいですか？

18.04gtktitlebar
5
vv0iadyk

上記は私にはうまくいきませんでした...しかし、ファイル〜/ .config/gtk-3.0/gtk.cssで次の結果が得られました：

 /*
 * Reduce height of window header (title?) bars.
 * Seems enough to specify padding, no need to repeat
 *   padding-left padding-right padding-top padding-bottom
 * nor it seems necessary to even mention
 *   margin-top margin-bottom
 */

.default-decoration {
    min-height: 0px;
    padding: 3px;
}

.default-decoration .titlebutton {
    min-height: 0px;
    padding: 0px;
}
3
Paul Szabo

Gnome 3を使用していると仮定します-

  1. ファイルを開くか作成します。~/.config/gtk-3.0/gtk.css（~は現在のユーザーのホームロケーションです。たとえば、ユーザーがdemoの場合、~は\home\demo）

  2. 次のCSSをファイルに追加します

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

headerbar {    
    min-height: 24px;    
    padding-left: 2px; /* same as childrens vertical margins for nicer proportions */    
    padding-right: 2px;    
    margin: 0px; /* same as headerbar side padding for nicer proportions */    
    padding: 0px;    
}

  3. ALT+F2を実行し、表示されるダイアログボックスに文字「r」を入力し、Enterキーを押してスタイルを更新します

詳細については、Unix Stackexchangeの元のソリューションを参照してください。 https://unix.stackexchange.com/questions/276951/how-to-change-the-titlebar-height-in-standard-gtk-apps- and-those-with-headerbars？utm_medium = organic＆utm_source = google_rich_qa＆utm_campaign = google_rich_qa

2
R.S