X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjexer%2Fbackend%2FTWindowBackend.java;h=0a042336dcda9bdecc092814d75e0454f1ac42c7;hb=e23ea53820244957b17a7000c6d3e1ff586f1ef0;hp=20b9d7d63e2dd3b33c91029d38a4be77353dcf79;hpb=a69ed767c9c07cf35cf1c5f7821fc009cfe79cd2;p=fanfix.git diff --git a/src/jexer/backend/TWindowBackend.java b/src/jexer/backend/TWindowBackend.java index 20b9d7d..0a04233 100644 --- a/src/jexer/backend/TWindowBackend.java +++ b/src/jexer/backend/TWindowBackend.java @@ -427,6 +427,13 @@ public class TWindowBackend extends TWindow implements Backend { this.listener = listener; } + /** + * Reload backend options from System properties. + */ + public void reloadOptions() { + // NOP + } + // ------------------------------------------------------------------------ // TWindowBackend --------------------------------------------------------- // ------------------------------------------------------------------------