Merge pull request #386 from ethereum/updateditor

editor options

Author: bunsenstraat

packages/api/src/lib/editor/api.ts

@@ -1,5 +1,6 @@
 import { HighlightPosition, Annotation } from './type'
 import { StatusEvents } from '@remixproject/plugin-utils'
+import { HighLightOptions } from '@remixproject/plugin-api'
 
 export interface IEditor {
   events: StatusEvents
@@ -8,6 +9,7 @@ export interface IEditor {
       position: HighlightPosition,
       filePath: string,
       hexColor: string,
+      opt?: HighLightOptions
     ): void
     discardHighlight(): void
     discardHighlightAt(line: number, filePath: string): void

packages/api/src/lib/editor/type.ts

@@ -9,6 +9,10 @@ export interface HighlightPosition {
   }
 }
 
+export interface HighLightOptions {
+  focus: boolean
+}
+
 export interface Annotation {
     row: number;
     column: number;