84   constructor(readonly files: File[]) {  method in AppFilesCollected
92   constructor(readonly files: File[]) {  method in AppFilesUploaded
116   constructor(  method in RemoteToolFilesReceived
127   constructor(readonly deferredTimestamp: () => Timestamp | undefined) {  method in RemoteToolTimestampReceived
136   constructor(view: View) {  method in TabbedViewSwitched
148   constructor(newActiveTrace: Trace<object>) {  method in TabbedViewSwitchRequest
159   constructor(position: TracePosition, updateTimeline = false) {  method in TracePositionUpdate
185   constructor(readonly viewers: Viewer[]) {  method in ViewersLoaded
196   constructor(readonly isTimelineExpanded: boolean) {  method in ExpandedTimelineToggled
203   constructor(readonly trace: Trace<object>) {  method in ActiveTraceChanged
210   constructor(readonly isDarkMode: boolean) {  method in DarkModeToggled