resolve typescript errors created from merging PRs

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;

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;