kindred/create
1
1
Fork 0
Code Issues 37 Pull Requests Actions Packages Projects 9 Releases 2 Wiki Activity

Merge pull request #5017 from chennes/renameWBTab

Browse Source 
[GUI] Change name of workbenches tab
This commit is contained in:
Yorik van Havre
2021-09-08 16:21:56 +02:00
committed by GitHub
parent e47ee43a22 332f99caca
commit 5203ad5cbc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Gui/DlgSettingsLazyLoaded.ui
View File

@@ -11,7 +11,7 @@
</rect>
</property>
<property name="windowTitle">
<string>Unloaded Workbenches</string>
<string>Available Workbenches</string>
</property>
<layout class="QGridLayout" name="gridLayout_3">
<item row="1" column="0">