Age | Commit message (Collapse) | Author | Files | Lines |
|
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
|
|
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
|
|
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
|
|
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
|
|
* 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>
|
|
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
|
|
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
|