misc fixes

[fanfix.git] / src / jexer / backend / GenericBackend.java

diff --git a/src/jexer/backend/GenericBackend.java b/src/jexer/backend/GenericBackend.java
index 908be1ef8c60400c5f3db36ef34bc62ef8b032b5..fa72956c8e27c6c247005816ff8f3489b505d070 100644 (file)
--- a/src/jexer/backend/GenericBackend.java
+++ b/src/jexer/backend/GenericBackend.java
@@ -137,4 +137,11 @@ public abstract class GenericBackend implements Backend {
         terminal.setListener(listener);
     }
 
+    /**
+     * Reload backend options from System properties.
+     */
+    public void reloadOptions() {
+        terminal.reloadOptions();
+    }
+
 }