Merge commit '77d3a60869e7a780c6ae069e51530e1eacece5e2'

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

diff --git a/src/jexer/backend/Backend.java b/src/jexer/backend/Backend.java
index 8bd1816cd55053b461c0187896db966ac5aa492c..eaed7e64966228e6386d21349c757ae80efaa5e2 100644 (file)
--- 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();
+
 }