X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FGenericBackend.java;h=fa72956c8e27c6c247005816ff8f3489b505d070;hb=e23ea53820244957b17a7000c6d3e1ff586f1ef0;hp=908be1ef8c60400c5f3db36ef34bc62ef8b032b5;hpb=4c46ea176c25101865057accbfe01da1d9b6b8ab;p=fanfix.git

diff --git a/src/jexer/backend/GenericBackend.java b/src/jexer/backend/GenericBackend.java
index 908be1e..fa72956 100644
--- 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();
+    }
+
 }