mirror of
https://github.com/enso-org/enso.git
synced 2024-12-22 18:38:11 +03:00
1096489cc8
Fixes #10311 Using `ExternalId` for `NodeId` allows us to match the idea of node identity with engine. That means any bugs that would cause the identity to change will be immediately visible on UI due to misplaced metadata or node being unnecessarily rerendered from scratch. This change and an addional bugfix of argument deletion handling makes the node view stable on edits and allows tabbing through arguments. https://github.com/enso-org/enso/assets/919491/72d9ec29-54ed-4899-aac1-6678a001a21d
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
|
|
}
|