diff --git a/src/app/appconst.ts b/src/app/appconst.ts index aeee08b2..172bbf98 100644 --- a/src/app/appconst.ts +++ b/src/app/appconst.ts @@ -11,3 +11,5 @@ export const CLIENT_SETTINGS = "clientSettings"; export const LineContainer_Main = "main"; export const LineContainer_History = "history"; export const LineContainer_Sidebar = "sidebar"; + +export const NoStrPos = -1; diff --git a/src/app/workspace/cmdinput/cmdinput.tsx b/src/app/workspace/cmdinput/cmdinput.tsx index 9d956b4f..fd157b77 100644 --- a/src/app/workspace/cmdinput/cmdinput.tsx +++ b/src/app/workspace/cmdinput/cmdinput.tsx @@ -127,10 +127,7 @@ class CmdInput extends React.Component<{}, {}> { numRunningLines = mobx.computed(() => win.getRunningCmdLines().length).get(); } return ( -