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

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

diff --git a/src/jexer/backend/TerminalReader.java b/src/jexer/backend/TerminalReader.java
index 8edadbf4c015ea104beded27c0134c80223ce0a3..32033e0b1943c12999621566f96e29f7465cff22 100644 (file)
--- 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();
+
 }