Development environment Eclipse Theia 1.37 adapts more dynamically

Version 1.37 of the Eclipse Theia development environment is now available. The development team processed almost 40 pull requests for the monthly release. The changes affect, among other things, the resizing of the tabs and the search for the keyboard layouts. In addition, the compatibility level with Microsoft’s source code editor Visual Studio Code has been increased to 1.74, so that all extensions that require the VS Code Extension API up to version 1.74 can be used.

In Theia 1.37 there are new setting options for the horizontal size of the tabs of tabs in the editor. While the IDE has always adapted the tabs to the labels in the past, developers will be able to choose a more dynamic adaptation in the future, which corresponds to the behavior that modern browsers are used to. In addition to the “Standard size”, a “Minimum size” can also be defined, which specifies the minimum width to which tabs are reduced if there is not enough space on the screen. Otherwise, the IDE evenly resizes tabs to the available screen width, as shown in the screenshot below.



A new setting in Eclipse Theia 1.35 can prevent an editor from being opened twice.

Eclipse Theia 1.37 introduces dynamic resizing of tabs.

(Image: EclipseSource)

Extended information on the tab label, such as the complete file name, can also be displayed by mouseover.

In Theia 1.37, developers who want to know which keys are linked to which commands can now simply enter the key combination in the search field of the IDE. You will then receive a detailed overview of the links (see screenshot).


When moving CONTRIBUTING to the tab group shown, Eclipse Theia will close the CONTRIBUTING editor already open there.

When moving CONTRIBUTING to the tab group shown, Eclipse Theia will close the CONTRIBUTING editor already open there.

Improved search for keybindings in Eclipse Theia 1.37.

(Image: EclipseSource)

More details about the changes Eclipse Theia 1.37 can be found in the blog entry as well as the Milestone’s changelog on GitHub.


(map)

To home page

source site