X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FBackend.java;h=eaed7e64966228e6386d21349c757ae80efaa5e2;hb=9892fdaafb368227aa9630ab3abe6ed10bb1d001;hp=8bd1816cd55053b461c0187896db966ac5aa492c;hpb=a69ed767c9c07cf35cf1c5f7821fc009cfe79cd2;p=fanfix.git

diff --git a/src/jexer/backend/Backend.java b/src/jexer/backend/Backend.java
index 8bd1816..eaed7e6 100644
--- a/src/jexer/backend/Backend.java
+++ b/src/jexer/backend/Backend.java
@@ -96,4 +96,9 @@ public interface Backend {
      */
     public void setListener(final Object listener);
 
+    /**
+     * Reload backend options from System properties.
+     */
+    public void reloadOptions();
+
 }