Basic support for choosing RobotIDE-specific indentation settings (#62)
Allow using global default. Disable tab size field when global default selected. Validate tab size field. (#62)