fabio286/antares
1
1
Fork 0
mirror of https://github.com/Fabio286/antares.git synced 2025-06-05 21:59:22 +02:00
Code Issues Releases Wiki Activity

Merge branch 'master' of https://github.com/antares-sql/antares into ts-renderer

Browse Source
This commit is contained in:
Fabio Di Stasio
2022-06-13 09:29:05 +02:00
parent bd46d17424 c37138c6f5
commit 33a4663694
27 changed files with 354 additions and 116 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/renderer/stores/workspaces.ts
View File

@@ -197,13 +197,14 @@ export const useWorkspacesStore = defineStore('workspaces', {
// Check if Maria or MySQL
const isMySQL = version.name.includes('MySQL');
const isMaria = version.name.includes('Maria');
if (isMySQL && connection.client !== 'mysql') {
const connProxy = Object.assign({}, connection);
connProxy.client = 'mysql';
connectionsStore.editConnection(connProxy);
}
else if (!isMySQL && connection.client === 'mysql') {
else if (isMaria && connection.client === 'mysql') {
const connProxy = Object.assign({}, connection);
connProxy.client = 'maria';
connectionsStore.editConnection(connProxy);
@@ -687,6 +688,26 @@ export const useWorkspacesStore = defineStore('workspaces', {
: workspace
);
},
selectNextTab ({ uid }: {uid: string }) {
const workspace = (this.workspaces as Workspace[]).find(workspace => workspace.uid === uid);
let newIndex = workspace.tabs.findIndex(tab => tab.selected || tab.uid === workspace.selectedTab) + 1;
if (newIndex > workspace.tabs.length -1)
newIndex = 0;
this.selectTab({ uid, tab: workspace.tabs[newIndex].uid });
},
selectPrevTab ({ uid }: {uid: string }) {
const workspace = (this.workspaces as Workspace[]).find(workspace => workspace.uid === uid);
let newIndex = workspace.tabs.findIndex(tab => tab.selected || tab.uid === workspace.selectedTab) - 1;
if (newIndex < 0)
newIndex = workspace.tabs.length -1;
this.selectTab({ uid, tab: workspace.tabs[newIndex].uid });
},
updateTabs ({ uid, tabs }: {uid: string; tabs: WorkspaceTab[]}) {
this.workspaces = (this.workspaces as Workspace[]).map(workspace => workspace.uid === uid
? { ...workspace, tabs }