()
| 45 | |
| 46 | |
| 47 | function selectConnection() { |
| 48 | var urlParams = new URLSearchParams(window.location.search); |
| 49 | var connectionId = urlParams.get('connection'); |
| 50 | |
| 51 | if (connectionId) { |
| 52 | var connectionSelect = document.getElementById('id_database_connection'); |
| 53 | if (connectionSelect) { |
| 54 | connectionSelect.value = connectionId; |
| 55 | } |
| 56 | } |
| 57 | } |
| 58 | |
| 59 | export class ExplorerEditor { |
| 60 | constructor(queryId) { |