Aditya Toshniwal 1e0e9c4f7d 1) Open preferences in a new tab instead of a dialog for better user experience. #6743 ... 2) Add a search box to enable searching within the preferences tab. #2864		2025-06-12 19:03:54 +05:30
..
LeftTree.jsx	1) Open preferences in a new tab instead of a dialog for better user experience. #6743	2025-06-12 19:03:54 +05:30
PreferencesComponent.jsx	1) Open preferences in a new tab instead of a dialog for better user experience. #6743	2025-06-12 19:03:54 +05:30
PreferencesHelper.jsx	1) Open preferences in a new tab instead of a dialog for better user experience. #6743	2025-06-12 19:03:54 +05:30
RightPreference.jsx	1) Open preferences in a new tab instead of a dialog for better user experience. #6743	2025-06-12 19:03:54 +05:30
binary_path.ui.js	1) Open preferences in a new tab instead of a dialog for better user experience. #6743	2025-06-12 19:03:54 +05:30
preferences.ui.js	1) Open preferences in a new tab instead of a dialog for better user experience. #6743	2025-06-12 19:03:54 +05:30