Ability to configure font family in SQL editors

MikeChristensen · MikeChristensen · commit 16316064101b · 2025-03-14T14:19:30.000-07:00
diff --git a/web/pgadmin/static/js/components/ReactCodeMirror/components/Editor.jsx b/web/pgadmin/static/js/components/ReactCodeMirror/components/Editor.jsx
@@ -301,8 +301,9 @@ export default function Editor({
 
     const fontSize = calcFontSize(pref.sql_font_size);
     newConfigExtn.push(EditorView.theme({
-      '.cm-content': {
+      '& .cm-content': {
         fontSize: fontSize,
+        fontFamily: pref.sql_font_family,
       },
       '.cm-gutters': {
         fontSize: fontSize,
diff --git a/web/pgadmin/tools/sqleditor/utils/query_tool_preferences.py b/web/pgadmin/tools/sqleditor/utils/query_tool_preferences.py
@@ -390,6 +390,13 @@ def register_query_tool_preferences(self):
         )
     )
 
+    self.sql_font_family = self.preference.register(
+        'Editor', 'sql_font_family',
+        gettext("Font family"), 'text', 'Source Code Pro',
+        category_label=PREF_LABEL_DISPLAY,
+        help_str=gettext('The font family to use for the SQL text boxes and editors.')
+    )
+
     self.display_connection_status = self.preference.register(
         'display', 'connection_status',
         gettext("Connection status"), 'boolean', True,

Original file line number	Diff line number	Diff line change
`@@ -390,6 +390,13 @@ def register_query_tool_preferences(self):`
`390`	`390`	`)`
`391`	`391`	`)`
`392`	`392`
	`393`	`+ self.sql_font_family = self.preference.register(`
	`394`	`+ 'Editor', 'sql_font_family',`
	`395`	`+ gettext("Font family"), 'text', 'Source Code Pro',`
	`396`	`+ category_label=PREF_LABEL_DISPLAY,`
	`397`	`+ help_str=gettext('The font family to use for the SQL text boxes and editors.')`
	`398`	`+ )`
	`399`	`+`
`393`	`400`	`self.display_connection_status = self.preference.register(`
`394`	`401`	`'display', 'connection_status',`
`395`	`402`	`gettext("Connection status"), 'boolean', True,`