separated editable code buttons into separate widget which also fixes scrolling issue

This commit is contained in:
zadam
2022-09-04 23:09:42 +02:00
parent e8b8198eb8
commit b091e2222e
3 changed files with 92 additions and 53 deletions

View File

@@ -78,6 +78,7 @@ import OptionsDialog from "../widgets/dialogs/options.js";
import FloatingButtons from "../widgets/floating_buttons/floating_buttons.js";
import RelationMapButtons from "../widgets/floating_buttons/relation_map_buttons.js";
import MermaidExportButton from "../widgets/floating_buttons/mermaid_export_button.js";
import EditableCodeButtonsWidget from "../widgets/type_widgets/editable_code_buttons.js";
export default class DesktopLayout {
constructor(customWidgets) {
@@ -195,6 +196,7 @@ export default class DesktopLayout {
.child(new SearchResultWidget())
.child(new SqlResultWidget())
)
.child(new EditableCodeButtonsWidget())
.child(new FindWidget())
.child(
...this.customWidgets.get('node-detail-pane'), // typo, let's keep it for a while as BC