From ce1d609b9cb9fbe0129d91a0fc79d60079d5efae Mon Sep 17 00:00:00 2001
From: Marko Gronroos <magi@vaadin.com>
Date: Wed, 16 Mar 2016 15:09:46 +0200
Subject: Formatting fixes mainly to chapters 1-4.

Change-Id: Ie7699ae777791689e0026e241efdf46274776bff
---
 documentation/introduction/intro-eclipse.asciidoc | 34 +++++++++--------------
 1 file changed, 13 insertions(+), 21 deletions(-)

(limited to 'documentation/introduction/intro-eclipse.asciidoc')

diff --git a/documentation/introduction/intro-eclipse.asciidoc b/documentation/introduction/intro-eclipse.asciidoc
index b2fb127f7b..09a8c50570 100644
--- a/documentation/introduction/intro-eclipse.asciidoc
+++ b/documentation/introduction/intro-eclipse.asciidoc
@@ -9,32 +9,24 @@ layout: page
 
 While Vaadin is not bound to any specific IDE, and you can in fact easily use it
 without any IDE altogether, we provide special support for the Eclipse IDE,
-which has become the most used environment for Java development. The support is
-provided in the Vaadin Plugin for Eclipse, which helps you in:
+which has become the most used environment for Java development.
 
-* Creating new Vaadin projects
+*_Vaadin Plug-in for Eclipse_* helps you in:
 
-* Creating custom themes
+* creating new Vaadin projects,
 
-* Creating custom client-side widgets
+* creating custom themes,
 
-* Easily upgrading to a newer version of the Vaadin library
+* creating custom client-side widgets, and
 
+* easily upgrading to a newer version of the Vaadin library.
 
-Using the Vaadin Plugin for Eclipse is the recommended way of installing Vaadin
-for development. Downloading the installation package that contains the JARs or
-defining Vaadin as a Maven dependency is also possible.
-
-Installing and updating the Eclipse plugin is covered in
-<<dummy/../../../framework/getting-started/getting-started-eclipse#getting-started.eclipse,"Vaadin
-Plugin for Eclipse">> and the creation of a new Vaadin project using the plugin
-in
-<<dummy/../../../framework/getting-started/getting-started-first-project#getting-started.first-project.creation,"Creating
-the Project">>. See
-<<dummy/../../../framework/themes/themes-eclipse#themes.eclipse,"Creating a
-Theme in Eclipse">> and
-<<dummy/../../../framework/gwt/gwt-eclipse#gwt.eclipse,"Starting It Simple With
-Eclipse">> for instructions on using the different features of the plugin.
-
+Using the Vaadin plug-in for Eclipse is the recommended way of installing Vaadin for development.
+Downloading the installation package that contains the JARs or defining Vaadin as a Maven dependency is also possible.
 
+*_Vaadin Designer_* is a commercial Eclipse plug-in that enables visual editing of Vaadin UIs and composites.
+See <<dummy/../../../designer/designer-overview#designer.overview, "Vaadin Designer">> for its complete reference.
 
+Installation of the Eclipse plug-in is covered in <<dummy/../../../framework/getting-started/getting-started-eclipse#getting-started.eclipse,"Vaadin plug-in for Eclipse">>.
+The creation of a new Vaadin project using the plug-in is covered in <<dummy/../../../framework/getting-started/getting-started-first-project#getting-started.first-project.creation,"Creating the Project">>.
+See <<dummy/../../../framework/themes/themes-eclipse#themes.eclipse,"Creating a Theme in Eclipse">> and <<dummy/../../../framework/gwt/gwt-eclipse#gwt.eclipse,"Starting It Simple With Eclipse">> for instructions on using the different features of the plug-in.
-- 
cgit v1.2.3

