git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
lib: sort fixes
[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();
+
}