explore
Explore
door-enter
Log in
menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Theia

Eclipse Theia - Cloud & Desktop IDE

link
https://theia-ide.org
Channels
# All channels
view-forward
# General
Team
Akos Kitta
@kittaakos
Anatoliy Bazko
@abazko
Sven Efftinge
@svenefftinge
Paul Maréchal
@marechal-p
Anton Kosyakov
@anton-kosyakov
Casey Flynn
@caseyflynn
Florent BENOIT
@florentbenoit
Jan Bicker
@jbicker
Artem Zatsarynnyi
@artem-z
Simon Marchi
@simark
Liang
@elaihau
Gorkem Ercan
@gercan
Jacques Bouthillier
@jacques-bouthillier
Rob Moran
@thegecko
Miro Spönemann
@spoenemann
Alex Tugarev
@alex-tugarev
Marc Dumais
@marc-dumais
Vince Fugnitto
@vince-fugnitto

How set the width of a widget(to be opened)?

January 17, 2019 at 7:29am
Zhang Bosen
@duemaster

How set the width of a widget(to be opened)?

January 17, 2019 at 7:29am
How do I open a widget to a pre-determined size? It is similiar to css `width: 80vw`. I couldn't find anything related to this under `defaultWidgetOptions`.
January 18, 2019 at 9:00am
Team
9:00am
There is ApplicationShell.resize.
9:01am
https://github.com/theia-ide/theia/blob/b9f4d18055c848d210e93d27919183ddbb30e742/packages/core/src/browser/shell/application-shell.ts#L923
like-fill
1
9:02am
How is the size based on? Is it based on pixels?
Edit: Nevermind, didnt see the comments above.
Edited
like-fill
1