enso/app/gui2/lib0-ext.d.ts

/** @file Fixups for too loose typings present in lib0. */

import 'lib0/set'

declare module 'lib0/set' {
  function first<T>(set: Set<T>): T | undefined
}
Use ExternalId for NodeId and preserve it through argument deletions. (#10512) 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 2024-07-12 13:45:57 +03:00			`/** @file Fixups for too loose typings present in lib0. */`

			`import 'lib0/set'`

			`declare module 'lib0/set' {`
			`function first<T>(set: Set<T>): T \| undefined`
			`}`