12 Commits

Author	SHA1	Message	Date
alemuntoni	125eceb0b5	removed declared edit interface - the only plugin is the factory	2021-03-15 13:24:16 +01:00
alemuntoni	767c93cfd9	EditPlugin to EditTool	2021-03-15 12:53:46 +01:00
alemuntoni	1bd192bc4e	renames and fixes	2021-03-03 13:42:47 +01:00
alemuntoni	599c117f8e	member functions renamings	2021-03-03 12:03:16 +01:00
alemuntoni	04ea401ea1	EditPlugins	2021-03-03 10:45:47 +01:00
alemuntoni	bd480b6b6e	renamings	2021-03-03 10:24:10 +01:00
alemuntoni	32df9a9aaf	possibility to check version of plugin and if it has been built with double precision	2021-02-02 12:58:24 +01:00
alemuntoni	fc763cb9f7	some reorganization	2021-02-01 13:17:53 +01:00
alemuntoni	53709ed732	better management of plugins - reorganized plugin info dialog	2021-01-29 19:10:23 +01:00
alemuntoni	2121557c19	edit_plugin_interface.h	2020-09-18 15:47:25 +02:00
alemuntoni	fe42f9427e	add pluginNames to all plugins; update vcg	2020-08-07 14:45:40 +02:00
alemuntoni	8104928d55	filter_sample and edit_sample target and headers/sources renamed	2020-04-22 11:28:33 +02:00