Rodin Editor User Guide - Revision history

imported>Tommy at 16:43, 3 June 2013

2013-06-03T16:43:32Z

← Older revision		Revision as of 16:43, 3 June 2013
Line 63:		Line 63:
	After saving the file, you obtain the following context :		After saving the file, you obtain the following context :

	[[Image:RodinEditor_UserGuide_step9.png~~\|500px~~]]		[[Image:RodinEditor_UserGuide_step9.png]]

	and the markers disappear because there is no error left in your context.		and the markers disappear because there is no error left in your context.
Line 79:		Line 79:
	=== Select, Move and delete elements ===		=== Select, Move and delete elements ===

	* To select elements, you have 3 choices:		-- To select elements, you have 3 choices:
	** you can double-click on them,		* you can double-click on them,
	** or press CTRL and click on one element,		* or press CTRL and click on one element,
	** or click on the visual circle handle at their left.		* or click on the visual circle handle at their left.
	[[Image:RodinEditor_UserGuide_step10.png]]		[[Image:RodinEditor_UserGuide_step10.png]]

imported>Tommy: /* Select, Move and delete elements */

2013-06-03T16:33:38Z

Select, Move and delete elements

← Older revision		Revision as of 16:33, 3 June 2013
Line 83:		Line 83:
	** or press CTRL and click on one element,		** or press CTRL and click on one element,
	** or click on the visual circle handle at their left.		** or click on the visual circle handle at their left.
	[[Image:~~RodinEditor_UserGuide_step11~~.png]]		[[Image:RodinEditor_UserGuide_step10.png]]

	The selected elements appear with a blue background,		The selected elements appear with a blue background,

imported>Tommy: /* Select, Move and delete elements */

2013-06-03T14:54:38Z

Select, Move and delete elements

← Older revision		Revision as of 14:54, 3 June 2013
Line 79:		Line 79:
	=== Select, Move and delete elements ===		=== Select, Move and delete elements ===

	-- To select elements, you can double-click on them, or press CTRL and click on one element. The selected elements appear with a blue background,		* To select elements, you have 3 choices:
			** you can double-click on them,
			** or press CTRL and click on one element,
			** or click on the visual circle handle at their left.
			[[Image:RodinEditor_UserGuide_step11.png]]

			The selected elements appear with a blue background,
	or a gray background if they are of different types. See the picture below.		or a gray background if they are of different types. See the picture below.

imported>Tommy: /* Customize this list */

2012-07-18T10:09:24Z

Customize this list

← Older revision		Revision as of 10:09, 18 July 2012
Line 126:		Line 126:
	\|}		\|}

	=== Customize ~~this list~~ ===		=== Customize these shortcuts ===
	If you don't like these shortcuts, you can modify them by setting your own key preferences.		If you don't like these shortcuts, you can modify them by setting your own key preferences.
	To do so, go to Window > Preferences and then General > Key. A table appears were you can find and edit the shortcuts.		To do so, go to Window > Preferences and then General > Key. A table appears were you can find and edit the shortcuts.

imported>Tommy at 10:08, 18 July 2012

2012-07-18T10:08:52Z

← Older revision		Revision as of 10:08, 18 July 2012
Line 130:		Line 130:
	To do so, go to Window > Preferences and then General > Key. A table appears were you can find and edit the shortcuts.		To do so, go to Window > Preferences and then General > Key. A table appears were you can find and edit the shortcuts.

	== Tips & Tricks ==		<!--== Tips & Tricks ==
	A command currently disable the possibility to use the ESC instead of ALT+ESC sequence. This is quite cumbersome, and can be tuned!		A command currently disable the possibility to use the ESC instead of ALT+ESC sequence. This is quite cumbersome, and can be tuned!
	To do so, open the preference table for key shortcuts (described above) and after ensuring you disabled the filters of uncategorized commands (using the Filters... dialog)		To do so, open the preference table for key shortcuts (described above) and after ensuring you disabled the filters of uncategorized commands (using the Filters... dialog)
	search for the command named "Restore Styles". This is the command to release the highlights in the proving views. You can then swith the sequence of this command to ALT+ESC and change the value of the "Abort edition and free selected items" command to ESC. After applying these settings, the shortcuts will be modified as wished above.		search for the command named "Restore Styles". This is the command to release the highlights in the proving views. You can then swith the sequence of this command to ALT+ESC and change the value of the "Abort edition and free selected items" command to ESC. After applying these settings, the shortcuts will be modified as wished above.
			-->

imported>Tommy: /* Using keyboard shorcuts */

2012-06-26T15:17:00Z

Using keyboard shorcuts

← Older revision		Revision as of 15:17, 26 June 2012
Line 119:		Line 119:
	\| SHIFT+ARROW_DOWN \|\| Select elements down.		\| SHIFT+ARROW_DOWN \|\| Select elements down.
	\|-		\|-
	\| ~~ALT+~~ESC \|\| Quit the current overlay edition (if any) and forget the modifications made, frees the current selection.		\| ESC \|\| Quit the current overlay edition (if any) and forget the modifications made, frees the current selection.
	\|-		\|-
	\| TAB \|\| Go to the next editable place (i.e. to the next editable element attribute)		\| TAB \|\| Go to the next editable place (i.e. to the next editable element attribute)

imported>Tommy: /* Select, Move and delete elements */

2012-06-26T15:16:41Z

Select, Move and delete elements

← Older revision		Revision as of 15:16, 26 June 2012
Line 92:		Line 92:
	-- To delete elements, try both:		-- To delete elements, try both:
	* Use the 'Delete' command on a selection from the context menu,		* Use the 'Delete' command on a selection from the context menu,
	* Press the DEL key after ~~placing your caret in front of~~ the ~~element~~ you want to delete.		* Press the DEL or SUPPR key after selecting the elements you want to delete.

	=== Using keyboard shorcuts ===		=== Using keyboard shorcuts ===

imported>Tommy: /* Select, Move and delete elements */

2012-06-26T15:15:59Z

Select, Move and delete elements

← Older revision		Revision as of 15:15, 26 June 2012
Line 84:		Line 84:
	[[Image:RodinEditor_UserGuide_step11.png\|350px]]		[[Image:RodinEditor_UserGuide_step11.png\|350px]]

	-- To unselect element, by default, press ~~ALT +~~ ESC~~. This shortcut is however customizable (see Tips and Tricks)~~.		-- To unselect element, by default, press ESC.

	-- To move elements, try both:		-- To move elements, try both:

imported>Tommy: /* Select, Move and delete elements */

2012-06-26T15:15:43Z

Select, Move and delete elements

← Older revision		Revision as of 15:15, 26 June 2012
Line 82:		Line 82:
	or a gray background if they are of different types. See the picture below.		or a gray background if they are of different types. See the picture below.

	[[Image:RodinEditor_UserGuide_step11.png\|~~100%~~]]		[[Image:RodinEditor_UserGuide_step11.png\|350px]]

	-- To unselect element, by default, press ALT + ESC. This shortcut is however customizable (see Tips and Tricks).		-- To unselect element, by default, press ALT + ESC. This shortcut is however customizable (see Tips and Tricks).

imported>Tommy: /* Select, Move and delete elements */

2012-06-26T15:15:02Z

Select, Move and delete elements

← Older revision		Revision as of 15:15, 26 June 2012
Line 82:		Line 82:
	or a gray background if they are of different types. See the picture below.		or a gray background if they are of different types. See the picture below.

	[[Image:RodinEditor_UserGuide_step11.png]]		[[Image:RodinEditor_UserGuide_step11.png\|100%]]

	-- To unselect element, by default, press ALT + ESC. This shortcut is however customizable (see Tips and Tricks).		-- To unselect element, by default, press ALT + ESC. This shortcut is however customizable (see Tips and Tricks).