-
Notifications
You must be signed in to change notification settings - Fork 2.5k
Pull requests: eclipse-theia/theia
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix active notebook editor staying active as long as the editor is active
#14419
opened Nov 8, 2024 by
jonah-iden
Loading…
1 task done
fixed overlapping of outputs when creating a cell at the top
#14417
opened Nov 8, 2024 by
jonah-iden
Loading…
1 task done
Support bundling Theia with esbuild
performance
issues related to performance
#14414
opened Nov 7, 2024 by
msujew
Loading…
1 task done
Fix calculation of
SelectComponent
dropdown bottom
#14381
opened Oct 31, 2024 by
Luke-zhang-mchp
Loading…
1 task done
Include ignored files in issues related to the filesystem
vscode
issues related to VSCode compatibility
vscode.workspace.findFiles
filesystem
#14365
opened Oct 28, 2024 by
msujew
Loading…
1 task done
Support version for installExtension, support uninstall cmd
#14298
opened Oct 11, 2024 by
dhuebner
Loading…
1 task done
Fix window maximization when using splash screen
#14219
opened Sep 25, 2024 by
tortmayr
Loading…
1 task done
Support debug/createConfiguration proposed menu API
#14215
opened Sep 24, 2024 by
rschnekenbu
Loading…
1 task
[CI] Disable dash-licenses auto-review mode
#14145
opened Sep 6, 2024 by
marcdumais-work
Loading…
1 task done
Fix editor preference localizations
editor
issues related to the editor
localization
issues related to localization/internalization/nls
preferences
issues related to preferences
#14018
opened Aug 6, 2024 by
msujew
Loading…
1 task done
feat(plugin-ext): Fix instanceof check to handle VSCode URIs
vscode
issues related to VSCode compatibility
#13961
opened Jul 25, 2024 by
t1m0thyj
Loading…
1 task
Fix automated releases
repo
issues specific to the repository
#13834
opened Jun 20, 2024 by
msujew
Loading…
1 task done
Include build into publish GH pages workflow
#13822
opened Jun 18, 2024 by
JonasHelming
•
Draft
1 task done
feat: add support for files.insertFinalNewline during formatOnSave
#13751
opened Jun 3, 2024 by
xai
Loading…
1 task done
Draft: Terminal Manager
terminal
issues related to the terminal
#12726
opened Jul 18, 2023 by
kenneth-marut-work
•
Draft
1 task done
ProTip!
Mix and match filters to narrow down what you’re looking for.