fix ui prefs, add saving ui layout
tool tab context menu fixes; remove separate duplicate button from tool-entity
remove title argument from createTool
fix serious typo
don't allow 'server' repo values with zero length