fixups after review

This commit is contained in:
zzz
2017-07-13 15:46:37 +00:00
parent d2da262374
commit 5ddb4edd14
11 changed files with 29 additions and 16 deletions

View File

@@ -797,6 +797,9 @@ public class SnarkManager implements CompleteListener, ClientApp {
updateConfig();
}
/**
* @since 0.9.31
*/
public boolean getUniversalTheming() {
return _context.getBooleanProperty(RC_PROP_UNIVERSAL_THEMING);
}