3 commits

Author	SHA1	Message	Date
Ian Paschal	e02cb78d57	CURA-4578 Manually installed plugins handled correctly ... 3rd-party plugins which were manually installed were listed as uninstall-able instead of disable-able. The distinction between plugins which could be installed or disabled was previously made by whether or not it was 3rd party, but is now made by determining the install location.	2018-02-05 16:39:45 +01:00
Ian Paschal	757f83fad2	Change download source ... `update_url` is used only for updaitng plugins (when `file_location` refers to a place on the hard drive).	2018-01-26 17:06:36 +01:00
Ian Paschal	211f87bf09	New format and functionality ... - Browser is combined with plugin settings - Two tabs, one for viewing 3rd party plugins, one for installed - Enable/disable for bundled plugins - Install/Remove/Update for 3rd party plugins	2018-01-26 14:59:47 +01:00