added 18.07

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2049 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-07-11 09:05:50 +00:00
parent ec04a36d3d
commit 12a94b8720
2936 changed files with 61869 additions and 1 deletions

View File

@@ -0,0 +1,13 @@
[[Property:title|Opening new windows]]
[[Property:weight|2]]
[[Property:uuid|1d3066d2-f1ad-9287-ecd2-5341d3c24b61]]
There are several ways to open a new window. First, you can use the pick and drop shortcut. Then, you can use new window menu items and the corresponding icons. There are three such commands:
* Clicking on '''New window''' in the '''File''' menu or on [[Image:new-window-icon]] make an new window appear. In this window, the editor and the context tool will be visible.
* Clicking on '''New editor window''' in the '''File''' menu or on [[Image:new-editor-icon]] does the same as the previous command but the context tool is minimized in the new window.
* Clicking on '''New context window''' in the '''File''' menu make this time a new window with a minimized editor appear.
{{note|Icons mentioned above are droppable: instead of simply clicking on them, you can drop a stone on them. The tools in the new window will then be centered on the corresponding component.}}