2020-03-11 10:45:47 -04:00
|
|
|
// SPDX-License-Identifier: LGPL-3.0-or-later
|
|
|
|
|
|
|
|
import QtQuick 2.12
|
2020-06-26 03:16:36 -04:00
|
|
|
import QtQuick.Controls 2.12
|
2020-03-28 07:18:00 -04:00
|
|
|
import "../ShortcutBundles"
|
2020-03-11 10:45:47 -04:00
|
|
|
|
|
|
|
HPage {
|
2020-06-05 05:42:12 -04:00
|
|
|
id: page
|
2020-06-25 08:32:08 -04:00
|
|
|
implicitWidth: theme.controls.box.defaultWidth
|
|
|
|
contentHeight:
|
|
|
|
flickable.contentHeight + flickable.topMargin + flickable.bottomMargin
|
2020-06-05 05:42:12 -04:00
|
|
|
|
|
|
|
|
2020-03-11 10:45:47 -04:00
|
|
|
default property alias columnData: column.data
|
2020-06-05 05:42:12 -04:00
|
|
|
property alias column: column
|
|
|
|
property alias flickable: flickable
|
|
|
|
property alias flickShortcuts: flickShortcuts
|
|
|
|
|
2020-06-26 03:16:36 -04:00
|
|
|
property bool enableFlickShortcuts:
|
|
|
|
SwipeView ? SwipeView.isCurrentItem : true
|
|
|
|
|
2020-06-05 05:42:12 -04:00
|
|
|
|
|
|
|
padding: 0
|
2020-03-11 10:45:47 -04:00
|
|
|
|
|
|
|
|
|
|
|
HFlickable {
|
|
|
|
id: flickable
|
|
|
|
anchors.fill: parent
|
|
|
|
contentWidth: parent.width
|
2020-06-25 08:32:08 -04:00
|
|
|
contentHeight: column.implicitHeight
|
|
|
|
clip: true
|
|
|
|
|
|
|
|
topMargin: theme.spacing
|
|
|
|
bottomMargin: topMargin
|
|
|
|
leftMargin: topMargin
|
|
|
|
rightMargin: topMargin
|
2020-03-11 10:45:47 -04:00
|
|
|
|
2020-03-28 07:18:00 -04:00
|
|
|
FlickShortcuts {
|
2020-06-05 05:42:12 -04:00
|
|
|
id: flickShortcuts
|
2020-06-26 03:16:36 -04:00
|
|
|
active: ! mainUI.debugConsole.visible && enableFlickShortcuts
|
2020-03-28 07:18:00 -04:00
|
|
|
flickable: flickable
|
|
|
|
}
|
|
|
|
|
2020-03-11 10:45:47 -04:00
|
|
|
HColumnLayout {
|
|
|
|
id: column
|
2020-06-25 08:32:08 -04:00
|
|
|
width:
|
|
|
|
flickable.width - flickable.leftMargin - flickable.rightMargin
|
|
|
|
spacing: theme.spacing * 1.5
|
2020-03-11 10:45:47 -04:00
|
|
|
}
|
|
|
|
}
|
2020-05-18 11:53:26 -03:00
|
|
|
|
2020-05-20 23:03:36 -03:00
|
|
|
HKineticScrollingDisabler {
|
2020-05-18 11:53:26 -03:00
|
|
|
flickable: flickable
|
2020-06-05 01:54:42 -04:00
|
|
|
width: enabled ? flickable.width : 0
|
|
|
|
height: enabled ? flickable.height : 0
|
2020-05-18 11:53:26 -03:00
|
|
|
}
|
2020-03-11 10:45:47 -04:00
|
|
|
}
|