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
hidden mouse pointer support
[fanfix.git]
/
src
/
jexer
/
backend
/
GenericBackend.java
diff --git
a/src/jexer/backend/GenericBackend.java
b/src/jexer/backend/GenericBackend.java
index 908be1ef8c60400c5f3db36ef34bc62ef8b032b5..fa72956c8e27c6c247005816ff8f3489b505d070 100644
(file)
--- a/
src/jexer/backend/GenericBackend.java
+++ b/
src/jexer/backend/GenericBackend.java
@@
-137,4
+137,11
@@
public abstract class GenericBackend implements Backend {
terminal.setListener(listener);
}
+ /**
+ * Reload backend options from System properties.
+ */
+ public void reloadOptions() {
+ terminal.reloadOptions();
+ }
+
}