mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Use a more sensible name for Query Tool tabs. Fixes #2482
This commit is contained in:
committed by
Dave Page
parent
467825c2d1
commit
57d866f7b7
@@ -110,12 +110,11 @@ define([
|
||||
|
||||
// This function is used to render the template.
|
||||
render: function() {
|
||||
var self = this;
|
||||
var self = this,
|
||||
filter = self.$el.find('#sql_filter');
|
||||
|
||||
$('.editor-title').text(_.unescape(self.editor_title));
|
||||
|
||||
var filter = self.$el.find('#sql_filter');
|
||||
|
||||
self.filter_obj = CodeMirror.fromTextArea(filter.get(0), {
|
||||
lineNumbers: true,
|
||||
matchBrackets: true,
|
||||
|
||||
Reference in New Issue
Block a user