diff options
author | Bob Zeleznik <zzzman@gmail.com> | 2019-10-11 01:38:48 -0400 |
---|---|---|
committer | Bob Zeleznik <zzzman@gmail.com> | 2019-10-11 01:38:48 -0400 |
commit | a73a72586c72cd620c16dd7bc0baad88c8e49a34 (patch) | |
tree | b5023f9fd8a6b40c192574b04fb7bfd3349df362 /src/server/authentication/models/current_user_utils.ts | |
parent | 9505eda799fdf3b0cd2e6bde2d80c18731caee2c (diff) |
switching search around to left-hand side.
Diffstat (limited to 'src/server/authentication/models/current_user_utils.ts')
-rw-r--r-- | src/server/authentication/models/current_user_utils.ts | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/server/authentication/models/current_user_utils.ts b/src/server/authentication/models/current_user_utils.ts index f3d5555ed..32da29932 100644 --- a/src/server/authentication/models/current_user_utils.ts +++ b/src/server/authentication/models/current_user_utils.ts @@ -97,6 +97,12 @@ export class CurrentUserUtils { curPresentation.boxShadow = "0 0"; doc.curPresentation = curPresentation; } + if (doc.searchBox === undefined) { + const searchBox = Docs.Create.QueryDocument({ title: "Searching" }); + searchBox.boxShadow = "0 0"; + searchBox.ignoreClick = true; + doc.searchBox = searchBox; + } if (doc.sidebar === undefined) { const sidebar = Docs.Create.TreeDocument([doc.workspaces as Doc, doc, doc.recentlyClosed as Doc], { title: "Sidebar" }); |