Difference between revisions of "Single View Design"
From Event-B
Jump to navigationJump to searchimported>Maria |
imported>Maria |
||
Line 8: | Line 8: | ||
*A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like ''refines'' or ''sees'') are made visible. | *A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like ''refines'' or ''sees'') are made visible. | ||
− | ==The Content Providers== | + | |
+ | ===The Content Providers=== | ||
There's a number of content providers to choose from: | There's a number of content providers to choose from: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | ==User guide== | |
+ | ===Customizing the Navigator=== | ||
+ | Click on the little triangle in the upper right corner of the navigator view and select ''Customize View''. This opens a dialog that allows you to choose ''Filters'' and ''Content''. | ||
+ | |||
+ | ====Content==== | ||
+ | Here you can choose what content should be shown in the navigator. | ||
+ | *'''Resources''': It is strongly recommended to keep this one checked, otherwise the navigator will be empty. This content providers populates the navigator with all projects, files and folder in the workspace. | ||
+ | *'''Working Sets''': This content provider allows you to see the working sets. | ||
+ | |||
+ | |||
− | |||
− | |||
− | |||
− | |||
[[Category:Work in progress]] | [[Category:Work in progress]] |
Revision as of 15:54, 2 October 2008
Contents
Purpose
The Purpose of the Single View Design is to present everything in a single view in Rodin.
Specification
The navigator presents all projects and their contents. The users can choose between to ways how the machines and contexts will be presented:
- A simple structure where all machines and contexts are presented on the same level
- A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like refines or sees) are made visible.
The Content Providers
There's a number of content providers to choose from:
User guide
Click on the little triangle in the upper right corner of the navigator view and select Customize View. This opens a dialog that allows you to choose Filters and Content.
Content
Here you can choose what content should be shown in the navigator.
- Resources: It is strongly recommended to keep this one checked, otherwise the navigator will be empty. This content providers populates the navigator with all projects, files and folder in the workspace.
- Working Sets: This content provider allows you to see the working sets.