[COMMITTED] poke: new variable pk_hserver_p

[Jose E. Marchesi]

This variable is accessible to Poke programs in order to conditionally
emit hyperlinks.  This is particularly useful to decide whether to
emit buttons and toolbars.

2022-01-17  Jose E. Marchesi  <jemarch@gnu.org>

        * poke/poke.c (initialize): Initialize the value of pk_hserver_p.
        * poke/poke.pk (pk_hserver_p): Define.
---
 ChangeLog    | 5 +++++
 poke/poke.c  | 4 ++++
 poke/poke.pk | 3 +++
 3 files changed, 12 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 42a4aadb..3e168c20 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2022-01-17  Jose E. Marchesi  <jemarch@gnu.org>
 
+       * poke/poke.c (initialize): Initialize the value of pk_hserver_p.
+       * poke/poke.pk (pk_hserver_p): Define.
+
+2022-01-17  Jose E. Marchesi  <jemarch@gnu.org>
+
        * poke/pk-table.pk (Pk_Table.print_table): Do not emit fill
        characters for the last columns in the table.
 
diff --git a/poke/poke.c b/poke/poke.c
index 922b9585..be38b8f4 100644
--- a/poke/poke.c
+++ b/poke/poke.c
@@ -678,6 +678,10 @@ initialize (int argc, char *argv[])
       pk_hserver_init ();
       pk_hserver_start ();
     }
+
+  /* Set the value of the Poke variable pk_hserver_p.  */
+  pk_decl_set_val (poke_compiler, "pk_hserver_p",
+                   pk_make_int (poke_hserver_p, 32));
 #endif
 }
 
diff --git a/poke/poke.pk b/poke/poke.pk
index a8478671..cc24914a 100644
--- a/poke/poke.pk
+++ b/poke/poke.pk
@@ -29,6 +29,9 @@ var pk_host_endian = ENDIAN_BIG;
    connected.  */
 var pk_network_endian = ENDIAN_BIG;
 
+/* Whether the terminal hyperlinks server is running or not.  */
+var pk_hserver_p = 0;
+
 /* Whether auto-maps shall be acknowleged when loading files or
    not. */
 var pk_auto_map_p = 0;
-- 
2.11.0