* Changed how plugins are filtered in PluginManager, it now specifically looks for the extensions based on platform, closes issue 5
* Fixed duplicate style entries in the style settings closes issue 4