diff options
| author |   Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-08-17 16:45:56 +0200 |
|---|---|---|
| committer | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-09-04 16:53:49 +0200 |
| commit | 6a4504b1fe5e17a09a019edf0377646cc5dd72aa (patch) | |
| tree | e10f7da1767a327a017028e2d97f3214f68ac88e /LICENSE | |
| parent | 0c9c1107ad673bc9a4977d57041c936678429a1e (diff) | |
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>
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions