mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2026-04-04 09:09:22 +02:00
Author:halw
Date:2008-09-26T17:52:50.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@50 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
@@ -1,10 +1,6 @@
|
||||
[[Property:title|EiffelStudio Preferences]]
|
||||
[[Property:weight|1]]
|
||||
[[Property:uuid|780757a6-f04a-97d4-5069-d22328e6492f]]
|
||||
* [[EiffelStudio preferences: Introduction|Introduction]]
|
||||
* [[Preference window overview|Preferences dialog window]]
|
||||
* [[Preferences Reference|Preferences reference]]
|
||||
|
||||
|
||||
|
||||
Many of EiffelStudio's properties may be customized. A tool has been designed to help you set your preferences. <br/>
|
||||
In this section, you will find a [[Preference window overview|description of this tool]] . You will also find [[Preferences Reference|an explanation of the different properties]] that may be modified by using it.
|
||||
|
||||
|
||||
@@ -19,7 +19,7 @@ If there is no message stating you need to restart EiffelStudio, changes will be
|
||||
{{tip|you can export preferences to xml file, and import from xml file, this can be convenient when reinstalling EiffelStudio). }}
|
||||
|
||||
|
||||
{{warning| '''Caution''': You can restore preferences default values by clicking on the "Restore Default" button. ALL preferences will be reset. }}
|
||||
{{warning|If you restore default preferences values by clicking on the "Restore Default" button, then ALL preferences will be reset. }}
|
||||
|
||||
|
||||
|
||||
|
||||
@@ -3,8 +3,7 @@
|
||||
[[Property:uuid|17738f37-4f85-c762-4074-5add286c9281]]
|
||||
This document contains the description of default completion for recognized keywords. The [[Keyword completion customization|syntax]] used is the one used to redefine keyword completion in the preferences. <br/>
|
||||
Four tables list default values for each of the [[Keywords automatic completion preferences|four preferences]] attached to each keyword.
|
||||
#
|
||||
Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Space after keyword was typed)"]] <br/>
|
||||
* Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Space after keyword was typed)"]] <br/>
|
||||
|
||||
{| border="1"
|
||||
|-
|
||||
@@ -127,8 +126,7 @@ Default value for [[Keywords automatic completion preferences|"Customized autoco
|
||||
|}
|
||||
<br/>
|
||||
|
||||
#
|
||||
Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Return after keyword was typed)"]] <br/>
|
||||
* Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Return after keyword was typed)"]] <br/>
|
||||
|
||||
{| border="1"
|
||||
|-
|
||||
@@ -251,8 +249,7 @@ Default value for [[Keywords automatic completion preferences|"Customized autoco
|
||||
|}
|
||||
<br/>
|
||||
|
||||
#
|
||||
Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Space, other cases)"]] <br/>
|
||||
* Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Space, other cases)"]] <br/>
|
||||
|
||||
{| border="1"
|
||||
|-
|
||||
@@ -375,8 +372,7 @@ Default value for [[Keywords automatic completion preferences|"Customized autoco
|
||||
|}
|
||||
<br/>
|
||||
|
||||
#
|
||||
Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Return, other cases)"]] <br/>
|
||||
* Default value for [[Keywords automatic completion preferences|"Customized autocomplete (Return, other cases)"]] <br/>
|
||||
|
||||
{| border="1"
|
||||
|-
|
||||
@@ -507,4 +503,3 @@ Default value for [[Keywords automatic completion preferences|"Customized autoco
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
@@ -1,11 +1,6 @@
|
||||
[[Property:title|Syntax automatic completion preferences]]
|
||||
[[Property:weight|-1]]
|
||||
[[Property:uuid|9899c28c-c7c9-8d0d-1e83-e0d1741c7f3c]]
|
||||
* [[EiffelStudio preferences for Automatic completion: Introduction|Introduction]]
|
||||
* [[Keywords automatic completion preferences|Keywords automatic completion preferences]]
|
||||
* [[Keyword completion customization|Keyword completion customization]]
|
||||
* [[Default values for keyword completion preferences|Default values for keyword completion preferences]]
|
||||
|
||||
|
||||
|
||||
EiffelStudio editor can detect many keywords and trigger an automatic syntax completion. <br/>
|
||||
This section of the documentation contains a description of [[Keywords automatic completion preferences|what can be customized]] . You will also find an [[Keyword completion customization|explanation of the syntax]] to be used in completion preferences, [[Default values for keyword completion preferences|and their default values]] .
|
||||
|
||||
|
||||
@@ -3,14 +3,12 @@
|
||||
[[Property:uuid|5e41f619-9a27-d7a3-c722-07f7227c8952]]
|
||||
This document describes the syntax used to customize keyword automatic completion. <br/>
|
||||
[[Keywords automatic completion preferences|Four strings]] are used to define the completion of a keyword. The rules are the same for all of them:
|
||||
*
|
||||
These strings will be inserted right after the keyword. The key that triggers the automatic completion will not be taken into account, i.e. no space or "new line" character will be inserted even though you press Return or Space. The strings should therefore begin with a space or a "new line" character (see below for "newline").
|
||||
|
||||
*
|
||||
Two reserved words will allow you to position the cursor and to indent the text properly. Insert the word ''$cursor$'' in the string where you want the cursor to be moved once the completion is finished. Insert the word ''$indent$'' where you want to copy as many blank spaces as there were on the line where the keyword was typed.
|
||||
* These strings will be inserted right after the keyword. The key that triggers the automatic completion will not be taken into account, i.e. no space or "new line" character will be inserted even though you press Return or Space. The strings should therefore begin with a space or a "new line" character (see below for "newline").
|
||||
|
||||
*
|
||||
Three special characters are available:
|
||||
* Two reserved words will allow you to position the cursor and to indent the text properly. Insert the word ''$cursor$'' in the string where you want the cursor to be moved once the completion is finished. Insert the word ''$indent$'' where you want to copy as many blank spaces as there were on the line where the keyword was typed.
|
||||
|
||||
* Three special characters are available:
|
||||
** ''%N'' represents the new line character.
|
||||
** ''%T'' represents the tabulation
|
||||
** ''%B'' represents the back space
|
||||
|
||||
@@ -55,23 +55,18 @@ Keywords completion preferences can be found in the subdirectories of "Automatic
|
||||
==Usage==
|
||||
|
||||
A directory is associated with each keyword. These directories contains six items which you may modify to customize the automatic completion of the keyword:
|
||||
*
|
||||
Autocomplete <keyword>: If this is set to True, the automatic completion will be triggered when you type the keyword in the editor. If it is set to False, the keyword will be processed as a normal word.
|
||||
|
||||
*
|
||||
Use default autocomplete: If this is set to True, the next preferences will be ignored and the default completion scheme will be used. Otherwise, the automatic completion will use the user-defined strings described below.
|
||||
* Autocomplete <keyword>: If this is set to True, the automatic completion will be triggered when you type the keyword in the editor. If it is set to False, the keyword will be processed as a normal word.
|
||||
|
||||
*
|
||||
Customized autocomplete (Return after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Return just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
* Use default autocomplete: If this is set to True, the next preferences will be ignored and the default completion scheme will be used. Otherwise, the automatic completion will use the user-defined strings described below.
|
||||
|
||||
*
|
||||
Customized autocomplete (Space after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Space just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
* Customized autocomplete (Return after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Return just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
|
||||
*
|
||||
Customized autocomplete (Return, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Return after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
* Customized autocomplete (Space after keyword was typed): This [[Keyword completion customization|string]] defines what will be inserted as you press Space just after typing the keyword if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
|
||||
*
|
||||
Customized autocomplete (Space, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Space after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
* Customized autocomplete (Return, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Return after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
|
||||
* Customized autocomplete (Space, other cases): This [[Keyword completion customization|string]] defines what will be inserted as you press Space after a keyword which had been previously typed. It is effective only if you chose not to use the [[Default values for keyword completion preferences|default value]] (see Use default autocomplete above).
|
||||
|
||||
The syntax used in the four last item is described in [[Keyword completion customization|Keyword completion customization]] . [[Default values for keyword completion preferences|Default values]] are accessible in Keyword completion default values.
|
||||
|
||||
|
||||
@@ -1,12 +1,5 @@
|
||||
[[Property:title|Editor Preferences]]
|
||||
[[Property:weight|3]]
|
||||
[[Property:uuid|fd7ec7c0-4c15-f2c2-70b7-82bc0a07a064]]
|
||||
* [[EiffelStudio preferences for Editor: Introduction|Introduction]]
|
||||
* [[General Editor Preferences|General preferences]]
|
||||
* [[Eiffel Editor Preferences|Eiffel Specific preferences]]
|
||||
* [[Keyboard shortcuts preferences|User-definable keyboard shortcuts]]
|
||||
* [[Syntax automatic completion preferences|Syntax Autocompetion]]
|
||||
|
||||
|
||||
|
||||
Some of the features of the EiffelStudio editor can be customized. This section of the documentation contains the necessary explanations to use the editor preferences. In addition to a description of [[General Editor Preferences|general preferences]] for the editor, you will find a document about [[Keyboard shortcuts preferences|user-definable keyboard shortcuts]] and a preferences for Eiffel specific preferences such as [[Syntax automatic completion preferences|automatic completion.]]
|
||||
|
||||
|
||||
@@ -10,12 +10,10 @@ Some of the keyboard shortcuts used in the editor can be customized. A subfolder
|
||||
* Show search panel: Shortcut to make the search panel appear if it is not displayed and to give the focus to the "Search for" field. The default key combination for this command is "Ctrl+F".
|
||||
* Show search and replace panel: Shortcut to make the search panel with the"Replace with" field appear if it is not displayed. The focus will be given to the "Search for" field. The default key combination for this command is"Ctrl+H".
|
||||
|
||||
'''Caution''': <br/>
|
||||
You should not use combinations made of only "Alt" and another key as they are reserved for menu shortcuts.
|
||||
{{note|You should avoid using key combinations made of only "Alt" and another key as they are reserved for menu shortcuts. }}
|
||||
|
||||
{{Tip|You may use combinations made of only one key to create very fast shortcuts, for example with the function keys. To know what string corresponds to a given key, you can look up in the EV_KEY_CONSTANTS of EiffelVision2.The `key_strings' table links keys with a string representation. }}
|
||||
|
||||
'''Tips''': <br/>
|
||||
On the other hand, you may use combinations made of only a key to create very fast shortcuts, for example with the function keys. <br/>
|
||||
To know what string corresponds to a given key, you can look up in the EV_KEY_CONSTANTS of EiffelVision2.The `key_strings' table links keys with a string representation.
|
||||
|
||||
There are three other categories in the shortcut preferences. These can be used to automatically insert a user-defined string in the editor. If you find yourself typing some strings very often, these preferences can be handy.
|
||||
|
||||
|
||||
@@ -1,10 +1,7 @@
|
||||
[[Property:title|EiffelStudio Tools Preferences]]
|
||||
[[Property:weight|2]]
|
||||
[[Property:uuid|76e278d3-c15d-43ba-ac79-611b05761b76]]
|
||||
* [[EiffelStudio preferences for Tools: Introduction|Introduction]]
|
||||
* [[Context Tools|Context tools]]
|
||||
* [[EiffelStudio Diagram Tool Preferences|Diagram Tool]]
|
||||
|
||||
|
||||
|
||||
This section of the help deals with preferences related to a tool in particular. These preferences are distributed in two categories:
|
||||
* A [[Context Tools]] category used to change preferences related to context tools.
|
||||
* A [[EiffelStudio Diagram Tool Preferences|Diagram Tools]] category used to customize some features of the diagram tool, mainlycolors and fonts for graphical element display.
|
||||
|
||||
|
||||
@@ -2,13 +2,4 @@
|
||||
[[Property:weight|2]]
|
||||
[[Property:uuid|a93a61b7-4814-e8a8-0379-52c0012f5935]]
|
||||
The top level preference categories for EiffelStudio preferences are listed below.
|
||||
* [[General Preferences|General]]
|
||||
* [[Interface|Interface]]
|
||||
* [[EiffelStudio Tools Preferences|Tools ]]
|
||||
* [[Editor Preferences|Editor]]
|
||||
* [[Debugger Preferences|Debugger]]
|
||||
* [[Recent Project Preferences|Recent Projects]]
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
@@ -1,10 +1,5 @@
|
||||
[[Property:title|Interface]]
|
||||
[[Property:weight|1]]
|
||||
[[Property:uuid|e0fe1870-cf02-4ca9-e46a-e69c8db1ed48]]
|
||||
* [[EiffelStudio preferences for Interface: Introduction|Introduction]]
|
||||
* [[Preferences Reference|EiffelStudio development window preferences]]
|
||||
* [[Discardable dialogs|Discardable dialog windows]]
|
||||
|
||||
|
||||
|
||||
This section of the documentation describes preferences that belong to the "Interface" category. This group contains two kinds of properties, some related to the preferences for the EiffelStudio [[Development Window Preferences|development window]] , others that define which [[Discardable dialogs|dialog windows]] should or should not be displayed. You can also decide to use animated icons in the status bars whenever possible (that is, during compilations and executions).
|
||||
|
||||
|
||||
Reference in New Issue
Block a user