From 6a4504b1fe5e17a09a019edf0377646cc5dd72aa Mon Sep 17 00:00:00 2001
From: Marcus Fritzsch <marcus_fritzsch@mentor.com>
Date: Thu, 17 Aug 2017 16:45:56 +0200
Subject: 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>
---
 layers.json | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'layers.json')

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 } },
-- 
cgit 1.2.3-korg