mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-08 07:42:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merged 20.11 into trunk documentation

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2327 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eifops
2021-11-24 16:21:58 +00:00
parent f608be8b23
commit eb272d7a9e
11 changed files with 530 additions and 77 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
documentation/trunk/eiffelstudio/Tutorials/customizing-tools-layout-and-toolbars.wiki
View File

@@ -1,4 +1,4 @@
[[Property:modification_date|Tue, 21 Aug 2018 18:55:21 GMT]]
[[Property:modification_date|Tue, 14 Sep 2021 19:26:17 GMT]]
[[Property:publication_date|Tue, 21 Aug 2018 18:55:21 GMT]]
[[Property:title|Customizing the tools layout and toolbars]]
[[Property:weight|-8]]
@@ -35,6 +35,16 @@ You can try this now and see the effect. Your tools layout will probably not cha
You can see in the image above that you would also follow that menu path in order to save a tools layout or to activate one that you had previously saved.
==Reverting to the default layout using the command line ==
From the command line, since version 20.05, it is also possible to reset the IDE layout
```sh
ec -reset_ide_layout
```
From the command line, you may need to set the ISE_EIFFEL, and ISE_PLATFORM environment variable.
The `ec` executable is located in `$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin`.
==Minimizing, maximizing, restoring, and closing tools==