Mongo tabs UX fixes (#851)

* Fixed mongo tabs UX

* changed logic for new tab index

* moved index to tabs base

* removed getIndex method
This commit is contained in:
Srinath Narayanan
2021-06-08 00:17:55 +05:30
committed by GitHub
parent f296c00a1c
commit ee60f61cfe
5 changed files with 27 additions and 5 deletions

View File

@@ -286,6 +286,7 @@ export interface TabOptions {
rid?: string;
node?: TreeNode;
theme?: string;
index?: number;
}
export interface DocumentsTabOptions extends TabOptions {