3 Commits

Author	SHA1	Message	Date
Maciej Suminski	057bd1b886	PICKER_TOOL - generic tool for picking a point.	2015-06-18 17:51:51 +02:00
Maciej Suminski	4fb9bce354	Code formatting.	2015-02-18 17:53:46 +01:00
Tomasz Włostowski	e5deafb4bb	bulk improvements for selection and edit tools (GAL) disambiguatin heuristics and smarter grid alignment	2015-02-18 01:10:20 +01:00