Load jush.css earlier

diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index da04dc89533ac79a7652a7238b0eb0bcdb3486f4..3688882e2b16ad931b439a3470e58cbeabe026f2 100644 (file)
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -7,6 +7,13 @@ var jushRoot = '../externals/jush/'; // global variable to allow simple customiz
 */
 function bodyLoad(version) {
        if (jushRoot) {
+               // copy of jush.style to load JS and CSS at once
+               var link = document.createElement('link');
+               link.rel = 'stylesheet';
+               link.type = 'text/css';
+               link.href = jushRoot + 'jush.css';
+               document.getElementsByTagName('head')[0].appendChild(link);
+               
                var script = document.createElement('script');
                script.src = jushRoot + 'jush.js';
                script.onload = function () {
@@ -16,7 +23,6 @@ function bodyLoad(version) {
                                var pgsql = 'http://www.postgresql.org/docs/' + version + '/static/';
                                jush.urls.pgsql_pgsqlset = jush.urls.pgsql[0] = pgsql + '$key';
                                jush.urls.pgsqlset[0] = pgsql + 'runtime-config-$key.html#GUC-$1';
-                               jush.style(jushRoot + 'jush.css');
                                if (window.jushLinks) {
                                        jush.custom_links = jushLinks;
                                }

diff --git a/externals/jush b/externals/jush
index bc2b8c15bf2f1cd65c86d05cc4e97994efed95be..1dbb89b3d1f1aa27a067b017af44f4ef498bbaab 160000 (submodule)
--- a/externals/jush
+++ b/externals/jush
@@ -1 +1 @@
-Subproject commit bc2b8c15bf2f1cd65c86d05cc4e97994efed95be
+Subproject commit 1dbb89b3d1f1aa27a067b017af44f4ef498bbaab