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 /layers.json | |
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 'layers.json')
-rw-r--r-- | layers.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/layers.json b/layers.json index 0208502..280dd2e 100644 --- a/layers.json +++ b/layers.json @@ -3,9 +3,12 @@ "main_surface": { "surface_id": 1000, + "surface_role": "HomeScreen", "comment": "This surface should never be made invisible (The HomeScreen)" }, + "dynamic_ids_start": 16777216, + "layers": [ { "name": "HomeScreen", @@ -28,6 +31,7 @@ { "type": "single", "surface_id": 1000, + "role": "^HomeScreen$", "name": "HomeScreen", "layer_id": 1000, "area": { "type": "full" }, @@ -37,6 +41,7 @@ "type": "range", "first_surface_id": 2000, "last_surface_id": 2999, + "role": "^App.*", "name": "apps", "layer_id": 1001, "area": { "type": "rect", "rect": { "x": 0, "y": 100, "width": -1, "height": -201 } }, @@ -46,6 +51,7 @@ "type": "range", "first_surface_id": 3000, "last_surface_id": 3999, + "role": "^OnScreen.*", "name": "popups", "layer_id": 9999, "area": { "type": "rect", "rect": { "x": 0, "y": 100, "width": -1, "height": -201 } }, |