From 8b6b707c085c2991bcc926d276cfbf0c8e23e9cb Mon Sep 17 00:00:00 2001 From: terminaldweller Date: Mon, 8 Aug 2022 19:03:17 +0430 Subject: removed the docs, we no longer need them --- dbdocs/routines/routine.js | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 dbdocs/routines/routine.js (limited to 'dbdocs/routines') diff --git a/dbdocs/routines/routine.js b/dbdocs/routines/routine.js deleted file mode 100644 index efd2b21..0000000 --- a/dbdocs/routines/routine.js +++ /dev/null @@ -1,34 +0,0 @@ -function enableAnchors() { - anchors.options.visible = 'always'; - anchors.add('h3'); -} - -$(document).ready(function() { - enableAnchors(); - - var table = $('#standard_table').DataTable( { - lengthChange: false, - bSort: false, - bPaginate: false, - autoWidth: true, - buttons: [ ] - } ); - - table.buttons().container() - .appendTo('#standard_table_wrapper .col-sm-6:eq(0)' ); -} ); - -var codeElement = document.getElementById("sql-script-codemirror"); -var editor = null; -if (null != codeElement) { - editor = CodeMirror.fromTextArea(codeElement, { - lineNumbers: true, - mode: 'text/x-sql', - indentWithTabs: true, - smartIndent: true, - lineNumbers: true, - matchBrackets: true, - autofocus: true, - readOnly: true - }); -} -- cgit v1.2.3