mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Ensure CodeMirror always has a non-zero font size. Fixes #3480
This commit is contained in:
committed by
Dave Page
parent
3b862bd70b
commit
2b9c0a63fb
@@ -65,12 +65,15 @@ _.extend(pgBrowser, {
|
||||
preferences[preference.name] = preference.value;
|
||||
}
|
||||
);
|
||||
return preferences;
|
||||
if(Object.keys(preferences).length > 0) {
|
||||
return preferences;
|
||||
}
|
||||
},
|
||||
|
||||
/* Get preference of an id, id is numeric */
|
||||
get_preference_for_id : function(id) {
|
||||
var self = this;
|
||||
/* findWhere returns undefined if not found */
|
||||
return _.findWhere(self.preferences_cache, {'id': id});
|
||||
},
|
||||
|
||||
|
||||
Reference in New Issue
Block a user