diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-08-24 12:49:03 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-08-24 12:49:03 -0300 |
commit | 7d5aebd45b1dc34c057444498f7207c6a505bd5c (patch) | |
tree | 0da048996623e1f32248e584135c10854444df88 | |
parent | d7a2976c461f8fd05edf96c3a4153ec23cfa11bb (diff) | |
download | debian-7d5aebd45b1dc34c057444498f7207c6a505bd5c.tar.gz debian-7d5aebd45b1dc34c057444498f7207c6a505bd5c.tar.bz2 |
Patch spice-client-gtk
-rw-r--r-- | todo.mdwn | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -14,6 +14,11 @@ Organization * Vagrant: run `debian-dev-setup` as an additional shell provisioner. * Security: https://wiki.debian.org/SecurePbuilder +Patch +----- + +* spice-client-gtk: option to hide menubar: see `window_state_cb` at `spicy.c`. + Upstream -------- |