From ce1d609b9cb9fbe0129d91a0fc79d60079d5efae Mon Sep 17 00:00:00 2001 From: Marko Gronroos 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 -<> and the creation of a new Vaadin project using the plugin -in -<>. See -<> and -<> 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 <> for its complete reference. +Installation of the Eclipse plug-in is covered in <>. +The creation of a new Vaadin project using the plug-in is covered in <>. +See <> and <> for instructions on using the different features of the plug-in. -- cgit v1.2.3