Revise preferences dialog for History options#10380

tknippenberg wants to merge 1 commit intomendix:developmentmendix/docs:developmentfrom

tknippenberg:patch-58tknippenberg/docs:patch-58Copy head branch name to clipboard