diff --git a/eclipse/index.html b/eclipse/index.html index 4c8d50625..7097be519 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -121,6 +121,8 @@ Note that Xtext and Eclipse are released under the Settings
    -
  1. Add the GF perspective by clicking Open Perspective → Other and choosing GF.
  2. -
  3. The plugin will try to determine the path to your GF executable automatically. You can always check/overwrite it by going to Window → Preferences → Grammatical Framework. +
  4. Add the GF perspective by clicking Window → Open Perspective → Other and choosing GF.
  5. +
  6. The plugin will try to determine the path to your GF executable automatically. You can check/overwrite it by going to Preferences → Grammatical Framework. This path should include the name of the GF binary itself, e.g. /home/john/.cabal/bin/gf or C:\Users\John\GF\gf.exe.
  7. You can also adjust the verbosity level of the GFEP console log in the preferences window.
+

Eclipse preferences

+ +

How to find the Eclipse preferences window may depend on your version and/or operating system, and may be either of:

+ + +

Updating the plugin

    @@ -306,7 +317,7 @@ Each time you save a file (or some other change occurs in your project), the bui

    Consoles

    -

    The plugin provides its own console view named GFEP Log, which shows log messages based on the Log Level preference (Window → Preferences → Grammatical Framework).

    +

    The plugin provides its own console view named GFEP Log, which shows log messages based on the Log Level preference (Preferences → Grammatical Framework).

    Additionally, every time a grammar is Run a new console is opened to display the output. This console may also serve as the interactive GF Shell, depending on the Interactive Mode checkbox in your Run Configuration.

    @@ -365,7 +376,7 @@ Each time you save a file (or some other change occurs in your project), the bui
  1. Accessing the file directly at <workspace>/.metadata/.log
-

You can set the log verbosity from Window → Preferences → Grammatical Framework.

+

You can set the log verbosity from Preferences → Grammatical Framework.