<commit_before>#
# Customizations based on org.eclipse.ui.IWorkbenchPreferenceConstants
#

# org.eclipse.ui/EDITOR_TAB_POSITION=1024

org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true
org.eclipse.ui/SHOW_MEMORY_MONITOR=true
# org.eclipse.ui/LOCK_TRIM=true
org.eclipse.ui/initialFastViewBarLocation=left
org.eclipse.ui/disableNewFastView=true

org.eclipse.ui.editors/spacesForTabs=true
org.eclipse.ui.editors/lineNumberRuler=true


# Location of HelpData, see http://help.eclipse.org/ganymede/topic/org.eclipse.platform.doc.isv/guide/ua_help_setup_help_data.htm
# org.eclipse.help/HELP_DATA=PLUGINS_ROOT/org.lamport.tla.toolbox.doc/helpData.xml

# Help System setup see http://help.eclipse.org/ganymede/topic/org.eclipse.platform.doc.isv/guide/ua_help_setup_preferences.htm
# org.eclipse.help.base/constant=value

org.eclipse.help.base/help_home=/org.lamport.tla.toolbox.doc/html/frontpage.html
org.eclipse.help.base/showBreadcrumbs=false
org.eclipse.help.base/bookmarksView=false
org.eclipse.ui/dynamicHelpActionText=Help
<commit_msg>got rid of index field on help pages.<commit_after>#
# Customizations based on org.eclipse.ui.IWorkbenchPreferenceConstants
#

# org.eclipse.ui/EDITOR_TAB_POSITION=1024

org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP=true
org.eclipse.ui/SHOW_MEMORY_MONITOR=true
# org.eclipse.ui/LOCK_TRIM=true
org.eclipse.ui/initialFastViewBarLocation=left
org.eclipse.ui/disableNewFastView=true

org.eclipse.ui.editors/spacesForTabs=true
org.eclipse.ui.editors/lineNumberRuler=true


# Location of HelpData, see http://help.eclipse.org/ganymede/topic/org.eclipse.platform.doc.isv/guide/ua_help_setup_help_data.htm
# org.eclipse.help/HELP_DATA=PLUGINS_ROOT/org.lamport.tla.toolbox.doc/helpData.xml

# Help System setup see http://help.eclipse.org/ganymede/topic/org.eclipse.platform.doc.isv/guide/ua_help_setup_preferences.htm
# org.eclipse.help.base/constant=value

org.eclipse.help.base/help_home=/org.lamport.tla.toolbox.doc/html/frontpage.html
org.eclipse.help.base/showBreadcrumbs=false
org.eclipse.help.base/bookmarksView=false
org.eclipse.help.base/indexView=false
org.eclipse.ui/dynamicHelpActionText=Help

{'fraction_non_alphanumeric': 0.11886792452830189, 'fraction_numerical': 0.0037735849056603774, 'mean_word_length': 6.313793103448276, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 2}, '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': '6744145', 'n_tokens_mistral': 797, 'n_tokens_neox': 776, 'n_words': 66}