Function Window.dispatchThemeChanged
handle theme change: e.g. reload some themed resources
Prototype
void dispatchThemeChanged();
Authors
Vadim Lopatin, coolreader.org@gmail.com
Copyright
Vadim Lopatin, 2014
License
Boost License 1.0