* Change layout based on user selection
(layout_type)
| 671 | * Change layout based on user selection |
| 672 | */ |
| 673 | function get_layout(layout_type) { |
| 674 | document.getElementById("dashboard").hidden = (layout_type !== "dashboard"); |
| 675 | document.getElementById("log-explorer").hidden = (layout_type !== "log-explorer"); |
| 676 | document.getElementById("log-explorer-table").hidden = (layout_type !== "log-explorer"); |
| 677 | } |
| 678 | |
| 679 | load_module_options(); |
nothing calls this directly
no outgoing calls
no test coverage detected