ToolsUI: split preferences file from 4.3