--- a/src/eric7/Preferences/ConfigurationPages/InterfacePage.ui Sat Oct 05 10:28:34 2024 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/InterfacePage.ui Sat Oct 05 11:35:07 2024 +0200 @@ -7,7 +7,7 @@ <x>0</x> <y>0</y> <width>550</width> - <height>1235</height> + <height>1276</height> </rect> </property> <layout class="QVBoxLayout" name="verticalLayout_3"> @@ -37,24 +37,6 @@ <string>Browsers</string> </property> <layout class="QGridLayout" name="gridLayout_2"> - <item row="3" column="0" colspan="2"> - <layout class="QHBoxLayout" name="horizontalLayout_2"> - <item> - <widget class="QLabel" name="label_4"> - <property name="text"> - <string>Filter out files:</string> - </property> - </widget> - </item> - <item> - <widget class="QLineEdit" name="fileFiltersEdit"> - <property name="toolTip"> - <string>Enter wildcard file patterns separated by semicolon. Files matching these patterns will not be shown by the file browsers.</string> - </property> - </widget> - </item> - </layout> - </item> <item row="0" column="0"> <widget class="QCheckBox" name="uiBrowsersListFoldersFirstCheckBox"> <property name="toolTip"> @@ -95,6 +77,34 @@ </property> </widget> </item> + <item row="2" column="0" colspan="2"> + <widget class="QCheckBox" name="browserShowConnectedServerOnlyCheckBox"> + <property name="toolTip"> + <string>Select to show local entries and those related to the currently connected eric-ide server.</string> + </property> + <property name="text"> + <string>Show entries of connected server only</string> + </property> + </widget> + </item> + <item row="3" column="0" colspan="2"> + <layout class="QHBoxLayout" name="horizontalLayout_2"> + <item> + <widget class="QLabel" name="label_4"> + <property name="text"> + <string>Filter out files:</string> + </property> + </widget> + </item> + <item> + <widget class="QLineEdit" name="fileFiltersEdit"> + <property name="toolTip"> + <string>Enter wildcard file patterns separated by semicolon. Files matching these patterns will not be shown by the file browsers.</string> + </property> + </widget> + </item> + </layout> + </item> </layout> </widget> </item> @@ -678,6 +688,7 @@ <tabstop>uiBrowsersHideNonPublicCheckBox</tabstop> <tabstop>uiBrowsersSortByOccurrenceCheckBox</tabstop> <tabstop>browserShowCodingCheckBox</tabstop> + <tabstop>browserShowConnectedServerOnlyCheckBox</tabstop> <tabstop>fileFiltersEdit</tabstop> <tabstop>uiCaptionShowsFilenameGroupBox</tabstop> <tabstop>filenameLengthSpinBox</tabstop>