12 commits

Author	SHA1	Message	Date
Ioannis G	1f73fdbecc	UI: allow manual editing of browser-path textboxes	2020-07-17 05:32:08 +03:00
Ioannis G	62a245f049	remove success message boxes	2020-07-16 22:38:09 +03:00
Jeremy Wu	05d62da520	exclude directory path for Web Search plugin	2020-07-13 07:57:28 +10:00
Jeremy Wu	cd2037dfae	Merge branch 'dev' into feat_appveyor	2020-05-21 13:25:43 +10:00
Jeremy Wu	5a0faba0d4	Per comment, WebSearch- Add margin	2020-05-14 20:08:38 +10:00
Jeremy Wu	47a69a322d	Merge branch 'dev' into update_ui	2020-05-08 12:41:57 +10:00
Ioannis G	cf2947dd94	remove unused includes in project files	2020-05-04 12:47:56 +03:00
Jeremy Wu	dbc53716ce	WebSearch plugin- Update layout	2020-05-04 14:49:32 +10:00
Ioannis G	ef95913aba	update projects with SatelliteResourceLanguages ... Without this property set, the output folder is populated with multiple culture-specific versions of `Fsharp.Core.resources.dll`	2020-05-02 19:52:41 +03:00
Jeremy Wu	acdea86a2d	update plugin.json url to point to current repo	2020-04-22 21:29:14 +10:00
Jeremy Wu	28d67c8c81	Rename further code and text	2020-04-21 22:54:41 +10:00
Jeremy Wu	3c7f067770	rename all project file name	2020-04-21 21:27:02 +10:00