From 17ebbc30c521382009f01e6f2a7dc3a0a06b2fd0 Mon Sep 17 00:00:00 2001 From: Al Date: Wed, 2 Oct 2019 23:35:51 +0200 Subject: Set Plugins tab as default tab again after last commit. --- src/mainwindow.ui | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/mainwindow.ui b/src/mainwindow.ui index 6d36e035..cbfed73e 100644 --- a/src/mainwindow.ui +++ b/src/mainwindow.ui @@ -715,7 +715,7 @@ p, li { white-space: pre-wrap; } QTabWidget::Rounded - 4 + 0 -- cgit v1.3.1