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>
|
|
* Preliminary event support - wrong names, likely wrong implementation
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
|
|
Implementation untested, not sure if this is even sensible...
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>
|
|
* Added "main_surface" entry to layers.json.
* This surface is never made invisible by activate_surface().
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>
|