trying to make treeViews more efficient by making fewer calls to Get document fields getter.

1 files changed, 0 insertions, 3 deletions

diff --git a/src/fields/Doc.ts b/src/fields/Doc.ts
index d590695d0..e64195b63 100644
--- a/src/fields/Doc.ts
+++ b/src/fields/Doc.ts
@@ -905,9 +905,6 @@ export namespace Doc {
     export function UserDoc(): Doc { return manager._user_doc; }
     export function SharingDoc(): Doc { return Cast(Doc.UserDoc().mySharedDocs, Doc, null); }
     export function LinkDBDoc(): Doc { return Cast(Doc.UserDoc().myLinkDatabase, Doc, null); }
-
-    export function SetSelectedTool(tool: InkTool) { Doc.UserDoc().activeInkTool = tool; }
-    export function GetSelectedTool(): InkTool { return StrCast(Doc.UserDoc().activeInkTool, InkTool.None) as InkTool; }
     export function SetUserDoc(doc: Doc) { return (manager._user_doc = doc); }
 
     const isSearchMatchCache = computedFn(function IsSearchMatch(doc: Doc) {