Skip to content

Commit

Permalink
add gtk_client_side_window_decorations hint
Browse files Browse the repository at this point in the history
closes #335
  • Loading branch information
jrappen committed Mar 26, 2021
1 parent 080942c commit 2ce391d
Showing 1 changed file with 5 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,11 @@
// Only makes sense in syntax-specific settings.
"extensions": [],

// Use the themed title bar. Disabled by default for non-gnome DE's
// or when `XDG_CURRENT_DESKTOP` is not set.
// Added in 4097.
"gtk_client_side_window_decorations": false,

// Hide the mouse pointer while typing.
"hide_pointer_while_typing": true,

Expand Down

0 comments on commit 2ce391d

Please sign in to comment.