<commit_before><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- This is file org.lamport.tla.toobox.doc/html/gettingstarted/preferences.html -->
<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
 <LINK href="../style.css" rel="stylesheet" type="text/css">

<title>Preferences</title>
</head>
<!-- a comment -->

<body>
<h1>Preferences</h1>


 <P> 
The Toolbox's main <samp>file</samp> menu contains a <samp>Preferences</samp>
item.&nbsp;  

Clicking on it raises a dialog for setting various Toolbox
preferences.&nbsp; 

The dialog presents the following high-level choices.&nbsp;

<h3><a href="../update/update-preferences.html">Automatic Update</a></h3>

See the <a href="../update/update-preferences.html">help page</a> for
that preference menu.

<h3>General</h3>

<p>The following items under this heading allow you to customize
the <a href="../spec/editing-modules.html">Module Editor</a>:
<ul>

<li> The <samp>Appearance / Colors and Fonts</samp> page lets you
control the font used in the <em>Error View</em> section of the <i><a
href="../model/executing-tlc.html#error-reports">TLC Errors
View</a></i>.&nbsp;  This can be quite useful because on some systems, the
default font can appear very tiny.
<p>

<li> <samp>Editors / Text Editors</samp> has a <samp>Show line numbers</samp> option.&nbsp;
It also has an <samp>Insert spaces for tabs</samp> option that should be selected.&nbsp;
Several Toolbox commands do not work properly on modules containing tab characters.&nbsp;
A spec with tabs may not even mean what it appears to mean.&nbsp;
(See page 287 of <i>Specifying Systems</i>.)&nbsp;
<b>Do not use tabs in your specs.</b>

<p><commit_msg>Help text addition.<commit_after><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- This is file org.lamport.tla.toobox.doc/html/gettingstarted/preferences.html -->
<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
 <LINK href="../style.css" rel="stylesheet" type="text/css">

<title>Preferences</title>
</head>
<!-- a comment -->

<body>
<h1>Preferences</h1>


 <P> 
The Toolbox's main <samp>file</samp> menu contains a <samp>Preferences</samp>
item.&nbsp;  

Clicking on it raises a dialog for setting various Toolbox
preferences.&nbsp; 

The dialog presents the following high-level choices.&nbsp;

<h3><a href="../update/update-preferences.html">Automatic Update</a></h3>

See the <a href="../update/update-preferences.html">help page</a> for
that preference menu.

<h3>General</h3>

<p>The following items under this heading allow you to customize
the <a href="../spec/editing-modules.html">Module Editor</a>:
<ul>

<li> The <samp>Appearance / Colors and Fonts</samp> page lets you
control the font used in the <em>Error View</em> section of the <i><a
href="../model/executing-tlc.html#error-reports">TLC Errors
View</a></i>, and the <em>User Output</em> and <em>Progress Output</em>
sections of the <i><a href="../model/results-page.html">Model Check Results</a></i>.
&nbsp;  This can be quite useful because on some systems, the
default font can appear very tiny.
<p/>

<li> The <samp>Appearance / Colors and Fonts</samp> page lets you
also control the font used in the <em>Error-Trace viewer</em> section of the <i><a
href="../model/executing-tlc.html#error-reports">TLC Errors
View</a></i>.
<p/>

<li> <samp>Editors / Text Editors</samp> has a <samp>Show line numbers</samp> option.&nbsp;
It also has an <samp>Insert spaces for tabs</samp> option that should be selected.&nbsp;
Several Toolbox commands do not work properly on modules containing tab characters.&nbsp;
A spec with tabs may not even mean what it appears to mean.&nbsp;
(See page 287 of <i>Specifying Systems</i>.)&nbsp;
<b>Do not use tabs in your specs.</b>

<p>
{'fraction_non_alphanumeric': 0.1543924250394529, 'fraction_numerical': 0.008942661756970016, 'mean_word_length': 4.568081991215227, 'pattern_counts': {'":': 0, '<': 125, '<?xml version=': 0, '>': 125, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5935744', 'n_tokens_mistral': 1307, 'n_tokens_neox': 1239, 'n_words': 414}