Add 'src/jexer/' from commit 'cf01c92f5809a0732409e280fb0f32f27393618d'

[nikiroo-utils.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();
+
 }