X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FBackend.java;h=eaed7e64966228e6386d21349c757ae80efaa5e2;hb=e23ea53820244957b17a7000c6d3e1ff586f1ef0;hp=8bd1816cd55053b461c0187896db966ac5aa492c;hpb=4c46ea176c25101865057accbfe01da1d9b6b8ab;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();
+
 }