Lines Matching full:preferences
532 <p>Clears the setting in the user preferences. This way default settings can become effective again.</p>795 <p>Get the setting from the user preferences.</p>1326 <p>Set the setting in the user preferences</p>
