vhad/PaperWM
1
0
Fork 0
mirror of https://github.com/gosticks/PaperWM.git synced 2026-10-05 03:46:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

prefs: don't scroll the tabs

Browse Source 
The default tree view search doesn't work and can pop up outside the scroll so
disable it.

TODO: add something like `ctrl-f`, `/` to focus the search input
This commit is contained in:
Tor Hedin Brønner
2019-10-01 22:20:19 +02:00
parent fbd5dfbd5b
commit d9c59ef50e
2 changed files with 38 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Settings.ui
+35 -3
View File
@@ -523,10 +523,9 @@
</packing>
</child>
<child>
<object class="GtkBox" id="keybindings">
<object class="GtkBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="margin_top">24</property>
<property name="orientation">vertical</property>
<child>
<object class="GtkSearchEntry" id="keybinding_search">
@@ -543,7 +542,40 @@
</packing>
</child>
<child>
<placeholder/>
<object class="GtkScrolledWindow">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="hscrollbar_policy">never</property>
<property name="shadow_type">in</property>
<child>
<object class="GtkViewport">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkBox" id="keybindings">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="vexpand">True</property>
<property name="orientation">vertical</property>
<child>
<placeholder/>
</child>
<child>
<placeholder/>
</child>
<child>
<placeholder/>
</child>
</object>
</child>
</object>
</child>
</object>
<packing>
<property name="expand">False</property>
<property name="fill">True</property>
<property name="position">1</property>
</packing>
</child>
</object>
<packing>
prefs.js
+3 -5
View File
@@ -63,13 +63,11 @@ class SettingsWidget {
constructor(selectedTab=0, selectedWorkspace=0 ) {
this._settings = Convenience.getSettings();
this.builder = new Gtk.Builder();
this.builder.add_from_file(Extension.path + '/Settings.ui');
this.builder = Gtk.Builder.new_from_file(Extension.path + '/Settings.ui');
this.widget = new Gtk.ScrolledWindow({ hscrollbar_policy: Gtk.PolicyType.NEVER });
this._notebook = this.builder.get_object('paperwm_settings');
this.widget = this._notebook;
this._notebook.page = selectedTab;
this.widget.add(this._notebook);
// General
@@ -380,12 +378,12 @@ function createKeybindingWidget(settings, searchEntry) {
]);
let treeView = new Gtk.TreeView();
treeView.set_enable_search(false);
treeView.model = filteredModel;
treeView.headers_visible = false;
treeView.margin_start = 12;
treeView.margin_end = 12;
treeView.search_column = COLUMN_DESCRIPTION;
treeView.enable_search = true;
treeView.tooltip_column = COLUMN_TOOLTIP;
let descriptionRenderer = new Gtk.CellRendererText();