Allow the UI layout to be fully locked or to prevent docking changes. Fixes #2653

2025-02-25 18:55:31 -06:00 · 2019-05-31 11:51:30 -04:00
parent 91075cc3f5
commit 2dd075161d
24 changed files with 539 additions and 125 deletions
--- a/web/pgadmin/preferences/static/js/preferences.js
+++ b/web/pgadmin/preferences/static/js/preferences.js
@@ -271,6 +271,8 @@ define('pgadmin.preferences', [
              return 'switch';
            case 'keyboardshortcut':
              return 'keyboardShortcut';
+            case 'radioModern':
+              return 'radioModern';
            default:
              if (console && console.warn) {
                // Warning for developer only.