diff options
| author | Robin Gareus <robin@gareus.org> | 2017-04-21 02:56:29 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-04-21 04:08:00 +0200 |
| commit | bdd960cd99e41f51d9a8b98f27fe231ce1ed15db (patch) | |
| tree | a75e8f2df8d30b7664e244d01dcc4f7cf87f8c6c /headless | |
| parent | 7d5b7d538e207a9df4224814e7ebcc0cd7ee259b (diff) | |
Update preferences when Ctrl-surfaces change with session.
Diffstat (limited to 'headless')
0 files changed, 0 insertions, 0 deletions