mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-08 15:52:26 +01:00
4087eb614e
Date:2008-09-19T07:55:09.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@27 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
23 lines
1.0 KiB
Plaintext
23 lines
1.0 KiB
Plaintext
[[Property:title|General Preferences]]
|
|
[[Property:weight|0]]
|
|
[[Property:uuid|cc42c410-bec5-4a4e-c45f-e005213cb260]]
|
|
This category gathers non graphical and general preferences that are not related to a tool in particular. These preferences are: <br/>
|
|
{| border="1"
|
|
|-
|
|
| '''Label in the preferences window'''
|
|
| '''Complete description'''
|
|
|-
|
|
| Acrobat Reader
|
|
| Command to read Adobe Acrobat files.
|
|
|-
|
|
| Shell command
|
|
| You may open a class in an external editor by dropping the corresponding pebble on the external editor icon. This preference sets which command line will be used to launch the external editor. The parameter "$target"will be replaced in the command with the file name corresponding to the class, "$line" with the line number if this information is relevant, with 1 otherwise.
|
|
|-
|
|
| Internet browser (GTK platforms only)
|
|
| This sets the command line that should be used to open an internet browser on a given HTML page. If present, "$url" will be replaced with the URL of the HTML page. This is used to display help files.
|
|
|}
|
|
|
|
|
|
|
|
|