X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FTerminalReader.java;h=32033e0b1943c12999621566f96e29f7465cff22;hb=12b90437b5f22c2ae6e9b9b14c3b62b60f6143e5;hp=8edadbf4c015ea104beded27c0134c80223ce0a3;hpb=a69ed767c9c07cf35cf1c5f7821fc009cfe79cd2;p=fanfix.git

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