Issue7194: - Add a preference for the indentation in the Command Editor