From 2fa0239c13406d8805501a3c9730d7afb78d7d93 Mon Sep 17 00:00:00 2001 From: sawka Date: Thu, 7 Sep 2023 13:05:02 -0700 Subject: [PATCH] resolve typescript errors created from merging PRs --- src/types.ts | 2 ++ src/view/code.tsx | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/types.ts b/src/types.ts index 65803318..3571ff30 100644 --- a/src/types.ts +++ b/src/types.ts @@ -411,6 +411,8 @@ type RendererModel = { type SimpleBlobRendererComponent = React.ComponentType<{ data: Blob; readOnly?: boolean; + notFound?: boolean; + isSelected?: boolean; cmdstr?: string; cwd?: string; exitcode?: number; diff --git a/src/view/code.tsx b/src/view/code.tsx index 18f83e8e..6ee57f64 100644 --- a/src/view/code.tsx +++ b/src/view/code.tsx @@ -15,7 +15,6 @@ declare var monaco: any; class SourceCodeRenderer extends React.Component< { data: Blob; - readOnly: boolean; cmdstr: string; cwd: string; readOnly: boolean;