mirror of
https://github.com/enso-org/enso.git
synced 2024-12-20 07:51:56 +03:00
4a249688e8
Fixes #10668 Fixes #8484 Summary of changes: * `gui2` and `dashboard` are merged to `gui` directory. Various configs were merged (package.json, playwrigth, TS...). The src and e2e directories are split to `dashboard` and `project-view` for now. * E2E tests run two servers on different ports. The tests are organized in projects. This is also to be changed soon, as we plan to [use better mocking in GUI/ProjectView](#9726) * ESlint configs were merged to central `eslint.config.mjs`, and that file was moved to repository root. We kept the dashboard lints, but they can be relaxed. The dashboard code was changed to meet GUI lints. * Also, the versions of linter plugins were bumped, and code fixed. * The ide-desktop/client no longer has `dashboard` dependency - the only type used there was moved to common package. * `common` package moved to `app`.
8 lines
157 B
TypeScript
8 lines
157 B
TypeScript
/** @file Fixups for too loose typings present in lib0. */
|
|
|
|
import 'lib0/set'
|
|
|
|
declare module 'lib0/set' {
|
|
function first<T>(set: Set<T>): T | undefined
|
|
}
|