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
#38 exit if there was an error writing to the socket
[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();
+
}