<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
                      "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html  xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="Content-Style-Type" content="text/css" />
<meta http-equiv="Content-type" content="text/html; charset=ISO-8859-1" />
<link rel="stylesheet" href="./robodoc.css" type="text/css" />
<title>./src/preferences.ads</title>
<!-- Source: ./src/preferences.ads -->
<!-- Generated with ROBODoc Version 4.99.43 (Feb  8 2020) -->
</head>
<body>
<div id="logo">
<a name="robo_top_of_doc">Hunter v1.6 code documentation</a>
</div> <!-- logo -->
<div id="navigation">
<a class="menuitem" href="./toc_index.html#top">Table of Contents</a>
<a class="menuitem" href="./sources.html#top">Source files</a>
<a class="menuitem" href="./index.html#top">Index</a>
<a class="menuitem" href="./robo_tasks.html#top">Tasks</a>
<a class="menuitem" href="./robo_constants.html#top">Constants</a>
<a class="menuitem" href="./robo_exceptions.html#top">Exceptions</a>
<a class="menuitem" href="./robo_subprograms.html#top">Subprograms</a>
<a class="menuitem" href="./robo_packages.html#top">Packages</a>
<a class="menuitem" href="./robo_commands.html#top">Commands</a>
<a class="menuitem" href="./robo_records.html#top">Records</a>
<a class="menuitem" href="./robo_types.html#top">Types</a>
<a class="menuitem" href="./robo_variables.html#top">Variables</a>
</div> <!-- navigation -->
<div id="content">
<h3>TABLE OF CONTENTS</h3>
<ul>
<li>1. <a href="#robo31">Preferences/Preferences</a></li>
<ul>
<li>1.1. <a href="./gui/preferences-commands_ads.html#robo30">Preferences/PCommands</a></li>
<ul>
<li>1.1.1. <a href="./gui/preferences-commands_ads.html#robo244">PCommands/PCommands.AddCommands</a></li>
<li>1.1.2. <a href="./gui/preferences-commands_adb.html#robo350">PCommands/PCommands.Add_Command_Command</a></li>
<li>1.1.3. <a href="./gui/preferences-commands_adb.html#robo351">PCommands/PCommands.Change_Shortcut_Command</a></li>
<li>1.1.4. <a href="./gui/preferences-commands_adb.html#robo352">PCommands/PCommands.Close_Dialog_Command</a></li>
<li>1.1.5. <a href="./gui/preferences-commands_adb.html#robo353">PCommands/PCommands.Close_Preferences_Command</a></li>
<li>1.1.6. <a href="./gui/preferences-commands_adb.html#robo354">PCommands/PCommands.Delete_Command_Command</a></li>
<li>1.1.7. <a href="./gui/preferences-commands_adb.html#robo355">PCommands/PCommands.Edit_Command_Command</a></li>
<li>1.1.8. <a href="./gui/preferences-commands_adb.html#robo356">PCommands/PCommands.Reset_Command_Command</a></li>
<li>1.1.9. <a href="./gui/preferences-commands_adb.html#robo357">PCommands/PCommands.Restore_Default_Shortcuts_Command</a></li>
<li>1.1.10. <a href="./gui/preferences-commands_adb.html#robo358">PCommands/PCommands.Restore_Defaults_Command</a></li>
<li>1.1.11. <a href="./gui/preferences-commands_adb.html#robo359">PCommands/PCommands.Set_Clear_Trash_Command</a></li>
<li>1.1.12. <a href="./gui/preferences-commands_adb.html#robo360">PCommands/PCommands.Set_Color_Text_Command</a></li>
<li>1.1.13. <a href="./gui/preferences-commands_adb.html#robo361">PCommands/PCommands.Set_Color_Theme_Command</a></li>
<li>1.1.14. <a href="./gui/preferences-commands_adb.html#robo362">PCommands/PCommands.Set_Delete_Files_Command</a></li>
<li>1.1.15. <a href="./gui/preferences-commands_adb.html#robo363">PCommands/PCommands.Set_Label_Command</a></li>
<li>1.1.16. <a href="./gui/preferences-commands_adb.html#robo364">PCommands/PCommands.Set_Monospace_Font_Command</a></li>
<li>1.1.17. <a href="./gui/preferences-commands_adb.html#robo365">PCommands/PCommands.Set_Overwrite_Command</a></li>
<li>1.1.18. <a href="./gui/preferences-commands_adb.html#robo366">PCommands/PCommands.Set_Scale_Images_Command</a></li>
<li>1.1.19. <a href="./gui/preferences-commands_adb.html#robo367">PCommands/PCommands.Set_Show_Finished_Info_Command</a></li>
<li>1.1.20. <a href="./gui/preferences-commands_adb.html#robo368">PCommands/PCommands.Set_Show_Hidden_Files_Command</a></li>
<li>1.1.21. <a href="./gui/preferences-commands_adb.html#robo369">PCommands/PCommands.Set_Show_Modification_Time_Command</a></li>
<li>1.1.22. <a href="./gui/preferences-commands_adb.html#robo370">PCommands/PCommands.Set_Show_Preview_Command</a></li>
<li>1.1.23. <a href="./gui/preferences-commands_adb.html#robo371">PCommands/PCommands.Set_Stay_In_Old_Command</a></li>
<li>1.1.24. <a href="./gui/preferences-commands_adb.html#robo372">PCommands/PCommands.Set_Toolbars_On_Top_Command</a></li>
<li>1.1.25. <a href="./gui/preferences-commands_adb.html#robo373">PCommands/PCommands.Set_Toolbars_Size_Command</a></li>
<li>1.1.26. <a href="./gui/preferences-commands_adb.html#robo374">PCommands/PCommands.Set_UI_Theme_Command</a></li>
<li>1.1.27. <a href="./gui/preferences-commands_adb.html#robo375">PCommands/PCommands.Show_Module_Command</a></li>
<li>1.1.28. <a href="./gui/preferences-commands_adb.html#robo376">PCommands/PCommands.Show_Preferences_Command</a></li>
<li>1.1.29. <a href="./gui/preferences-commands_adb.html#robo377">PCommands/PCommands.Start_Changing_Shortcut_Command</a></li>
</ul>
<li>1.2. <a href="./gui/preferences-ui_ads.html#robo32">Preferences/PreferencesUI</a></li>
<ul>
<li>1.2.1. <a href="./gui/preferences-ui_ads.html#robo247">PreferencesUI/PreferencesUI.Clear_Add_Command</a></li>
<li>1.2.2. <a href="./gui/preferences-ui_ads.html#robo248">PreferencesUI/PreferencesUI.CreatePreferences</a></li>
</ul>
<li>1.3. <a href="./tui/preferences-ui_ads.html#robo33">Preferences/PreferencesUITUI</a></li>
<ul>
<li>1.3.1. <a href="./tui/preferences-ui_ads.html#robo249">PreferencesUITUI/PreferencesUITUI.Add_Command_Keys</a></li>
<li>1.3.2. <a href="./tui/preferences-ui_ads.html#robo250">PreferencesUITUI/PreferencesUITUI.Select_Colors_Keys</a></li>
<li>1.3.3. <a href="./tui/preferences-ui_ads.html#robo251">PreferencesUITUI/PreferencesUITUI.Select_Preferences_Keys</a></li>
<li>1.3.4. <a href="./tui/preferences-ui_ads.html#robo252">PreferencesUITUI/PreferencesUITUI.Select_Seconds_Keys</a></li>
<li>1.3.5. <a href="./tui/preferences-ui_ads.html#robo253">PreferencesUITUI/PreferencesUITUI.Set_Shortcut_Keys</a></li>
<li>1.3.6. <a href="./tui/preferences-ui_ads.html#robo254">PreferencesUITUI/PreferencesUITUI.Show_Options</a></li>
</ul>
<li>1.4. <a href="#robo69">Preferences/Preferences.Accelerators_Array</a></li>
<li>1.5. <a href="#robo78">Preferences/Preferences.Settings_Data</a></li>
<li>1.6. <a href="#robo87">Preferences/Preferences.Default_Accelerators</a></li>
<li>1.7. <a href="#robo88">Preferences/Preferenes.Default_Settings</a></li>
<li>1.8. <a href="#robo127">Preferences/Preferences.Accelerators</a></li>
<li>1.9. <a href="#robo128">Preferences/Preferences.Settings</a></li>
<li>1.10. <a href="#robo245">Preferences/Preferences.Load_Settings</a></li>
<li>1.11. <a href="#robo246">Preferences/Preferences.Save_Preferences</a></li>
</ul>
</ul>
<hr />
<a name="Preferences2fPreferences"></a>
<a name="robo31"></a><h2>Preferences/Preferences [ Packages ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="./robo_packages.html#robo_top_of_doc">Packages</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Provide code for save/restore and manipulate the program settings
</pre>
<p class="item_name">SOURCE</p>
<pre class="source"><span class="keyword">package</span> <strong>Preferences</strong> <span class="keyword">is</span>
</pre>

<hr />
<a name="Preferences2fPreferences2eAccelerators5fArray"></a>
<a name="robo69"></a><h2>Preferences/Preferences.Accelerators_Array [ Types ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_types.html#robo_top_of_doc">Types</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Array used to store keyboard shortcuts
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   <span class="keyword">type</span> Accelerators_Array <span class="keyword">is</span> <span class="keyword">array</span><span class="sign">(</span>1 <span class="sign">.</span><span class="sign">.</span> 20<span class="sign">)</span> <span class="keyword">of</span> Unbounded_String<span class="sign">;</span>
</pre>

<hr />
<a name="Preferences2fPreferences2eSettings5fData"></a>
<a name="robo78"></a><h2>Preferences/Preferences.Settings_Data [ Records ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_records.html#robo_top_of_doc">Records</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Data structure to the program settings
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   <span class="keyword">type</span> Settings_Data <span class="keyword">is</span> <span class="keyword">record</span>
      Show_Hidden<span class="sign">:</span> Boolean<span class="sign">;</span>
      Show_Last_Modified<span class="sign">:</span> Boolean<span class="sign">;</span>
      Scale_Images<span class="sign">:</span> Boolean<span class="sign">;</span>
      Auto_Close_Messages_Time<span class="sign">:</span> Natural <span class="keyword">range</span> 0 <span class="sign">.</span><span class="sign">.</span> 60<span class="sign">;</span>
      Window_Width<span class="sign">:</span> Positive<span class="sign">;</span>
      Window_Height<span class="sign">:</span> Positive<span class="sign">;</span>
      Show_Preview<span class="sign">:</span> Boolean<span class="sign">;</span>
      Stay_In_Old<span class="sign">:</span> Boolean<span class="sign">;</span>
      Color_Text<span class="sign">:</span> Boolean<span class="sign">;</span>
      Color_Theme<span class="sign">:</span> Unbounded_String<span class="sign">;</span>
      Delete_Files<span class="sign">:</span> Boolean<span class="sign">;</span>
      Clear_Trash_On_Exit<span class="sign">:</span> Boolean<span class="sign">;</span>
      Show_Finished_Info<span class="sign">:</span> Boolean<span class="sign">;</span>
      Overwrite_On_Exist<span class="sign">:</span> Boolean<span class="sign">;</span>
      Toolbars_On_Top<span class="sign">:</span> Boolean<span class="sign">;</span>
      Auto_Refresh_Interval<span class="sign">:</span> Natural <span class="keyword">range</span> 0 <span class="sign">.</span><span class="sign">.</span> 30<span class="sign">;</span>
      Ui_Theme<span class="sign">:</span> Unbounded_String<span class="sign">;</span>
      Toolbars_Size<span class="sign">:</span> Positive <span class="keyword">range</span> 8 <span class="sign">.</span><span class="sign">.</span> 128<span class="sign">;</span>
      Monospace_Font<span class="sign">:</span> Boolean<span class="sign">;</span>
   <span class="keyword">end</span> <span class="keyword">record</span><span class="sign">;</span>
</pre>
<p class="item_name">OPTIONS</p>
<pre> Show_Hidden              - If true, show hidden files
 Show_Last_Modifi ed      - If true, show column with last modification time
                            on files list
 Scale_Images             - If true, scale images in preview
 Auto_Close Messages_Time - Amount of seconds after which current message
                            will be auto hidden
 Window_Width             - Width of the main window in pixels
 Window_Height            - Height of the main window in pixels
 Show_Preview             - If true, show preview panel for files and
                            directories
 Stay_In_Old              - If true, after copying, moving files and
                            directories or creating new link, stay in old
                            directory instead of going to the destination
                            directory.
 Color_Text               - If true, try color syntax in text files in
                            preview
 Color_Theme              - Selected by user color theme for coloring syntax
                            in text files in preview
 Delete_Files             - If true, delete file and directories instead of
                            moving them to trash
 Clear_Trash_On_Exit      - Clear trash on quit from the program
 Show_Finished_Info       - If true, show info about finished copying, moving
                            deleting files and directories
 Overwrite_On_Exist       - If true, copied or moved file or directory will
                            be overwritting existing with that same name
 Toolbars_On_Top          - If true, toolbars for actions and information
                            will be show on the top of the window. Otherwise
                            toolbar action will be on the left and toolbar
                            with information will be on the right
 Auto_Refresh_Interval    - How often, in seconds, auto refresh should be
                            triggered
 Ui_Theme                 - Tk theme used by the program
 Toolbars_Size            - Size of the toolbars icons
 Monospace_Font           - If true, use monospace font in text files preview
</pre>

<hr />
<a name="Preferences2fPreferences2eDefault5fAccelerators"></a>
<a name="robo87"></a><h2>Preferences/Preferences.Default_Accelerators [ Constants ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_constants.html#robo_top_of_doc">Constants</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Default the program keyboard shortcuts
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   Default_Accelerators<span class="sign">:</span> <span class="keyword">constant</span> Accelerators_Array <span class="sign">:</span><span class="sign">=</span>
     <span class="sign">(</span>1 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Control-q"</span><span class="sign">)</span><span class="sign">,</span>
      2 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-h"</span><span class="sign">)</span><span class="sign">,</span>
      3 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-f"</span><span class="sign">)</span><span class="sign">,</span>
      4 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-n"</span><span class="sign">)</span><span class="sign">,</span>
      5 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Control-Delete"</span><span class="sign">)</span><span class="sign">,</span>
      6 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-a"</span><span class="sign">)</span><span class="sign">,</span>
      7 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-o"</span><span class="sign">)</span><span class="sign">,</span>
      8 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Control-a"</span><span class="sign">)</span><span class="sign">,</span>
      9 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Control-r"</span><span class="sign">)</span><span class="sign">,</span>
      10 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-c"</span><span class="sign">)</span><span class="sign">,</span>
      11 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-m"</span><span class="sign">)</span><span class="sign">,</span>
      12 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-p"</span><span class="sign">)</span><span class="sign">,</span>
      13 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-w"</span><span class="sign">)</span><span class="sign">,</span>
      14 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-i"</span><span class="sign">)</span><span class="sign">,</span>
      15 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-v"</span><span class="sign">)</span><span class="sign">,</span>
      16 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-b"</span><span class="sign">)</span><span class="sign">,</span>
      17 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-d"</span><span class="sign">)</span><span class="sign">,</span>
      18 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-e"</span><span class="sign">)</span><span class="sign">,</span>
      19 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-s"</span><span class="sign">)</span><span class="sign">,</span>
      20 <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"Alt-t"</span><span class="sign">)</span><span class="sign">)</span><span class="sign">;</span>
</pre>

<hr />
<a name="Preferences2fPreferenes2eDefault5fSettings"></a>
<a name="robo88"></a><h2>Preferences/Preferenes.Default_Settings [ Constants ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_constants.html#robo_top_of_doc">Constants</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Default the program settings
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   Default_Settings<span class="sign">:</span> <span class="keyword">constant</span> Settings_Data <span class="sign">:</span><span class="sign">=</span>
     <span class="sign">(</span>Show_Hidden <span class="sign">=</span><span class="sign">&gt;</span> True<span class="sign">,</span> Show_Last_Modified <span class="sign">=</span><span class="sign">&gt;</span> False<span class="sign">,</span> Scale_Images <span class="sign">=</span><span class="sign">&gt;</span> False<span class="sign">,</span>
      Auto_Close_Messages_Time <span class="sign">=</span><span class="sign">&gt;</span> 10<span class="sign">,</span> Window_Width <span class="sign">=</span><span class="sign">&gt;</span> 800<span class="sign">,</span>
      Window_Height <span class="sign">=</span><span class="sign">&gt;</span> 600<span class="sign">,</span> Show_Preview <span class="sign">=</span><span class="sign">&gt;</span> True<span class="sign">,</span> Stay_In_Old <span class="sign">=</span><span class="sign">&gt;</span> False<span class="sign">,</span>
      Color_Text <span class="sign">=</span><span class="sign">&gt;</span> True<span class="sign">,</span>
      Color_Theme <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"gruvbox-light-soft"</span><span class="sign">)</span><span class="sign">,</span>
      Delete_Files <span class="sign">=</span><span class="sign">&gt;</span> True<span class="sign">,</span> Clear_Trash_On_Exit <span class="sign">=</span><span class="sign">&gt;</span> False<span class="sign">,</span>
      Show_Finished_Info <span class="sign">=</span><span class="sign">&gt;</span> False<span class="sign">,</span> Overwrite_On_Exist <span class="sign">=</span><span class="sign">&gt;</span> True<span class="sign">,</span>
      Toolbars_On_Top <span class="sign">=</span><span class="sign">&gt;</span> True<span class="sign">,</span> Auto_Refresh_Interval <span class="sign">=</span><span class="sign">&gt;</span> 10<span class="sign">,</span>
      Ui_Theme <span class="sign">=</span><span class="sign">&gt;</span> To_Unbounded_String<span class="sign">(</span>Source <span class="sign">=</span><span class="sign">&gt;</span> <span class="quote">"hunter-light"</span><span class="sign">)</span><span class="sign">,</span>
      Toolbars_Size <span class="sign">=</span><span class="sign">&gt;</span> 24<span class="sign">,</span> Monospace_Font <span class="sign">=</span><span class="sign">&gt;</span> False<span class="sign">)</span><span class="sign">;</span>
</pre>

<hr />
<a name="Preferences2fPreferences2eAccelerators"></a>
<a name="robo127"></a><h2>Preferences/Preferences.Accelerators [ Variables ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_variables.html#robo_top_of_doc">Variables</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Array with keyboard shortcuts used by the program
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   Accelerators<span class="sign">:</span> Accelerators_Array <span class="sign">:</span><span class="sign">=</span> Default_Accelerators<span class="sign">;</span>
</pre>

<hr />
<a name="Preferences2fPreferences2eSettings"></a>
<a name="robo128"></a><h2>Preferences/Preferences.Settings [ Variables ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_variables.html#robo_top_of_doc">Variables</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> The program settings
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   Settings<span class="sign">:</span> Settings_Data <span class="sign">:</span><span class="sign">=</span> Default_Settings<span class="sign">;</span>
</pre>

<hr />
<a name="Preferences2fPreferences2eLoad5fSettings"></a>
<a name="robo245"></a><h2>Preferences/Preferences.Load_Settings [ Subprograms ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_subprograms.html#robo_top_of_doc">Subprograms</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Load the program settings from file. If file not exists, load default
 settings.
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   <span class="keyword">procedure</span> Load_Settings<span class="sign">;</span>
</pre>

<hr />
<a name="Preferences2fPreferences2eSave5fPreferences"></a>
<a name="robo246"></a><h2>Preferences/Preferences.Save_Preferences [ Subprograms ]</h2>

<p>[ <a href="#robo_top_of_doc">Top</a> ] [ <a href="#robo31">Preferences</a> ] [ <a href="./robo_subprograms.html#robo_top_of_doc">Subprograms</a> ]</p>
<p class="item_name">FUNCTION</p>
<pre> Save the program preferences to the file.
</pre>
<p class="item_name">SOURCE</p>
<pre class="source">   <span class="keyword">procedure</span> Save_Preferences<span class="sign">;</span>
</pre>

</div> <!-- content -->
<div id="footer">
<p>Generated from ./src/preferences.ads with <a href="http://www.xs4all.nl/~rfsber/Robo/robodoc.html">ROBODoc</a> V4.99.43 on Sun Aug 08 2021 07:39:39
</p>
</div> <!-- footer -->
</body>
</html>

