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

added the command line solution to reset the IDE layout.

Browse Source 
Updated wikipage Customizing the tools layout and toolbars.
	(Signed-off-by:jocelyn).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2324 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2021-09-14 13:19:59 +00:00
parent 7aec71c2ae
commit 9c2ffcb15e
1 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
documentation/20.11/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 13:19:59 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, 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==