X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FGenericBackend.java;h=fa72956c8e27c6c247005816ff8f3489b505d070;hb=f4dcc69022c18bb522e12259bbb670180da7d144;hp=908be1ef8c60400c5f3db36ef34bc62ef8b032b5;hpb=a69ed767c9c07cf35cf1c5f7821fc009cfe79cd2;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();
+    }
+
 }