mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 15:22:31 +01:00
Author:Peter Gummer
Date:2009-07-21T00:27:54.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@256 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -1,7 +1,7 @@
|
||||
[[Property:title|Locate command]]
|
||||
[[Property:weight|4]]
|
||||
[[Property:uuid|10d2cf53-4e11-d44c-ee05-12fc1c6c354c]]
|
||||
The locate command ( [[Image:general-search-icon]] ), located in the [[Cluster tool|cluster tool]], provides an easy way to find a class or a cluster in the [[System tree representation|cluster tree]] .
|
||||
The locate command ( [[Image:general-search-icon]] ), located in the [[Groups tool|groups tool]], provides an easy way to find a class or a cluster in the [[System tree representation|cluster tree]] .
|
||||
|
||||
Clicking it automatically expands the clusters containing the edited class or cluster and selects it.
|
||||
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
[[Property:title|New class command]]
|
||||
[[Property:weight|3]]
|
||||
[[Property:uuid|ca2a2b34-7bdf-52c7-c300-f780df40bca0]]
|
||||
The new class command ( [[Image:new-class-icon]] ) located in the cluster tool toolbar creates a class in the same fashion as the main new class command. The only difference is that when using the cluster tool command, the new class is by default located in the cluster selected in the [[System tree representation|cluster tree]] (or the parent cluster of the selected class, if a class is selected).
|
||||
The new class command ( [[Image:new-class-icon]] ) located in the groups tool toolbar creates a class in the same fashion as the main new class command. The only difference is that when using the cluster tool command, the new class is by default located in the cluster selected in the [[System tree representation|cluster tree]] (or the parent cluster of the selected class, if a class is selected).
|
||||
|
||||
A dialog is then popped up in which it is possible to select the name of the new class, the name of the file it should be created in (by default ".e" is appended to the name of the new class to generate the file name), and the cluster in which the new class should be inserted. Only clusters that are not libraries are displayed in the list, since library clusters cannot be modified.
|
||||
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
[[Property:title|New cluster command]]
|
||||
[[Property:weight|2]]
|
||||
[[Property:uuid|8aa7c073-65dd-99d9-edba-73737d90fccf]]
|
||||
The new cluster command ( [[Image:new-cluster-icon]] ) located in the cluster tool toolbar creates a cluster in the same fashion as the main new cluster command. The only difference is that when using the cluster tool command, the new cluster is by default located in the cluster selected in the [[System tree representation|cluster tree]] (or the selected class's parent cluster, if a class is selected).
|
||||
The new cluster command ( [[Image:new-cluster-icon]] ) located in the groups tool toolbar creates a cluster in the same fashion as the main new cluster command. The only difference is that when using the cluster tool command, the new cluster is by default located in the cluster selected in the [[System tree representation|cluster tree]] (or the selected class's parent cluster, if a class is selected).
|
||||
|
||||
A dialog is then popped up in which it is possible to select the name of the new cluster and the cluster in which the new cluster should be inserted. Only clusters that are not libraries are displayed in the list.
|
||||
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
[[Property:title|System tree representation]]
|
||||
[[Property:weight|1]]
|
||||
[[Property:uuid|fc30ebd1-2a70-08ef-ae54-751ad834b489]]
|
||||
The cluster tool is mainly composed of a tree representation of the system.
|
||||
The groups tool is mainly composed of a tree representation of the system.
|
||||
|
||||
[[Image:cluster-tree]]
|
||||
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
[[Property:title|Search tool]]
|
||||
[[Property:weight|6]]
|
||||
[[Property:uuid|4d0cc8b3-2ffd-42d4-7855-672fa0c11cf8]]
|
||||
EiffelStudio includes a search tool which allows you to look for a word or a pattern in the editor, the class tool, the feature tool or the output tool, and to replace it by another word if you want. It is located in the left part of the development window.
|
||||
EiffelStudio includes a '''search tool''' which allows you to look for a word or a pattern in the editor, the class tool, the feature tool or the output tool, and to replace it by another word if you want.
|
||||
|
||||
To make the search tool appear, if it is not visible, click on the search icon [[Image:tool-search-icon]] or follow the menu path:
|
||||
If the search tool is not currently visible, you can make it appear by clicking on the search icon [[Image:tool-search-icon]] or by following either menu path:
|
||||
<code lang="text">
|
||||
View -> Tools -> Search
|
||||
</code>
|
||||
|
||||
Reference in New Issue
Block a user