Implement surface names
authorMarcus Fritzsch <marcus_fritzsch@mentor.com>
Thu, 17 Aug 2017 14:45:56 +0000 (16:45 +0200)
committerMarcus Fritzsch <marcus_fritzsch@mentor.com>
Mon, 4 Sep 2017 14:53:49 +0000 (16:53 +0200)
commit6a4504b1fe5e17a09a019edf0377646cc5dd72aa
treee10f7da1767a327a017028e2d97f3214f68ac88e
parent0c9c1107ad673bc9a4977d57041c936678429a1e
Implement surface names

* request_surface(name: string) -> id: int.
* activate_surface(name: string).
* names will be mapped to their respective layers by use of the layers'
  surface rola match, a regex.
* the generated IDs are global and not reused.
* allow wp-request to use -p, disable use of pygments even if found.

Things missing:
* surface removal does not remove already established mappings/names.
* Mostly untested.

Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
generate-binding-glue.py
layers.json
scripts/wm-request
src/app.cpp
src/app.hpp
src/layers.cpp
src/layers.hpp