2017-04-27 18:30:36 +00:00
|
|
|
// SPDX-License-Identifier: GPL-2.0
|
2015-07-10 07:48:28 +00:00
|
|
|
import QtQuick 2.3
|
2017-03-31 14:15:14 +00:00
|
|
|
import QtQuick.Controls 2.0
|
2015-07-10 07:48:28 +00:00
|
|
|
import QtQuick.Window 2.2
|
|
|
|
import QtQuick.Dialogs 1.2
|
|
|
|
import QtQuick.Layouts 1.1
|
2017-03-31 14:15:14 +00:00
|
|
|
import org.kde.kirigami 2.0 as Kirigami
|
2015-07-10 07:48:28 +00:00
|
|
|
import org.subsurfacedivelog.mobile 1.0
|
|
|
|
|
2016-03-08 20:26:54 +00:00
|
|
|
Kirigami.Page {
|
2016-02-12 12:51:03 +00:00
|
|
|
|
2016-05-03 19:24:00 +00:00
|
|
|
title: qsTr("Preferences")
|
2016-04-19 11:51:19 +00:00
|
|
|
actions {
|
2017-03-31 14:15:14 +00:00
|
|
|
main: Kirigami.Action {
|
2016-05-03 19:24:00 +00:00
|
|
|
text: qsTr("Save")
|
2016-04-19 11:51:19 +00:00
|
|
|
iconName: "document-save"
|
|
|
|
onTriggered: {
|
|
|
|
manager.distanceThreshold = distanceThreshold.text
|
|
|
|
manager.timeThreshold = timeThreshold.text
|
2017-06-24 02:35:48 +00:00
|
|
|
manager.theme = subsurfaceTheme.currentTheme
|
2016-04-19 11:51:19 +00:00
|
|
|
manager.savePreferences()
|
|
|
|
stackView.pop()
|
|
|
|
}
|
2016-02-12 12:51:03 +00:00
|
|
|
}
|
2016-02-14 05:50:31 +00:00
|
|
|
}
|
|
|
|
|
2016-02-10 23:11:04 +00:00
|
|
|
GridLayout {
|
2017-06-24 01:08:47 +00:00
|
|
|
id: themePrefs
|
2016-02-10 23:11:04 +00:00
|
|
|
columns: 2
|
2016-03-08 20:26:54 +00:00
|
|
|
width: parent.width - Kirigami.Units.gridUnit
|
2016-02-10 23:11:04 +00:00
|
|
|
anchors {
|
2017-06-24 01:08:47 +00:00
|
|
|
top: parent.top
|
|
|
|
left: parent.left
|
|
|
|
right: parent.right
|
2016-03-08 20:26:54 +00:00
|
|
|
margins: Kirigami.Units.gridUnit / 2
|
2016-02-10 23:11:04 +00:00
|
|
|
}
|
2015-07-12 17:55:45 +00:00
|
|
|
|
2016-03-08 20:26:54 +00:00
|
|
|
Kirigami.Heading {
|
2016-05-03 19:24:00 +00:00
|
|
|
text: qsTr("Preferences")
|
2017-06-24 01:08:47 +00:00
|
|
|
color: subsurfaceTheme.textColor
|
2016-03-08 20:26:54 +00:00
|
|
|
Layout.bottomMargin: Kirigami.Units.largeSpacing / 2
|
2016-02-10 23:11:04 +00:00
|
|
|
Layout.columnSpan: 2
|
|
|
|
}
|
2015-07-10 07:48:28 +00:00
|
|
|
|
2017-06-23 20:06:17 +00:00
|
|
|
Kirigami.Heading {
|
|
|
|
text: qsTr("Theme")
|
2017-06-24 01:08:47 +00:00
|
|
|
color: subsurfaceTheme.textColor
|
2017-06-23 20:06:17 +00:00
|
|
|
level: 3
|
|
|
|
Layout.topMargin: Kirigami.Units.largeSpacing
|
|
|
|
Layout.bottomMargin: Kirigami.Units.largeSpacing / 2
|
|
|
|
Layout.columnSpan: 2
|
|
|
|
}
|
|
|
|
|
|
|
|
RadioButton {
|
|
|
|
checked: subsurfaceTheme.currentTheme === "Blue"
|
|
|
|
onClicked: {
|
|
|
|
blueTheme()
|
|
|
|
}
|
|
|
|
}
|
2017-06-24 01:08:47 +00:00
|
|
|
Row {
|
|
|
|
Label {
|
|
|
|
text: qsTr("Blue")
|
|
|
|
color: subsurfaceTheme.textColor
|
|
|
|
anchors.verticalCenter: blueRect.verticalCenter
|
|
|
|
rightPadding: Kirigami.Units.gridUnit
|
|
|
|
}
|
|
|
|
Rectangle {
|
|
|
|
id: blueRect
|
|
|
|
color: subsurfaceTheme.blueBackgroundColor
|
|
|
|
border.color: "black"
|
|
|
|
width: sampleRegularBlue.width + 2 * Kirigami.Units.gridUnit
|
|
|
|
height: Kirigami.Units.gridUnit * 2
|
|
|
|
Text {
|
|
|
|
id: sampleRegularBlue
|
|
|
|
text: qsTr("regular text")
|
|
|
|
color: subsurfaceTheme.blueTextColor
|
|
|
|
anchors {
|
|
|
|
horizontalCenter: parent.horizontalCenter
|
|
|
|
verticalCenter: parent.verticalCenter
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Rectangle {
|
|
|
|
color: subsurfaceTheme.bluePrimaryColor
|
|
|
|
border.color: "black"
|
|
|
|
width: sampleHighlightBlue.width + 2 * Kirigami.Units.gridUnit
|
|
|
|
height: Kirigami.Units.gridUnit * 2
|
|
|
|
Text {
|
|
|
|
id: sampleHighlightBlue
|
|
|
|
text: qsTr("Highlight")
|
|
|
|
color: subsurfaceTheme.bluePrimaryTextColor
|
|
|
|
anchors {
|
|
|
|
horizontalCenter: parent.horizontalCenter
|
|
|
|
verticalCenter: parent.verticalCenter
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-06-23 20:06:17 +00:00
|
|
|
RadioButton {
|
|
|
|
checked: subsurfaceTheme.currentTheme === "Pink"
|
|
|
|
onClicked: {
|
|
|
|
pinkTheme()
|
|
|
|
}
|
|
|
|
}
|
2017-06-24 01:08:47 +00:00
|
|
|
Row {
|
|
|
|
Label {
|
|
|
|
text: qsTr("Pink")
|
|
|
|
color: subsurfaceTheme.textColor
|
|
|
|
anchors.verticalCenter: pinkRect.verticalCenter
|
|
|
|
rightPadding: Kirigami.Units.gridUnit
|
|
|
|
}
|
|
|
|
Rectangle {
|
|
|
|
id: pinkRect
|
|
|
|
color: subsurfaceTheme.pinkBackgroundColor
|
|
|
|
border.color: "black"
|
|
|
|
width: sampleRegularPink.width + 2 * Kirigami.Units.gridUnit
|
|
|
|
height: Kirigami.Units.gridUnit * 2
|
|
|
|
Text {
|
|
|
|
id: sampleRegularPink
|
|
|
|
text: qsTr("regular text")
|
|
|
|
color: subsurfaceTheme.pinkTextColor
|
|
|
|
anchors {
|
|
|
|
horizontalCenter: parent.horizontalCenter
|
|
|
|
verticalCenter: parent.verticalCenter
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Rectangle {
|
|
|
|
color: subsurfaceTheme.pinkPrimaryColor
|
|
|
|
border.color: "black"
|
|
|
|
width: sampleHighlightPink.width + 2 * Kirigami.Units.gridUnit
|
|
|
|
height: Kirigami.Units.gridUnit * 2
|
|
|
|
Text {
|
|
|
|
id: sampleHighlightPink
|
|
|
|
text: qsTr("Highlight")
|
|
|
|
color: subsurfaceTheme.pinkPrimaryTextColor
|
|
|
|
anchors {
|
|
|
|
horizontalCenter: parent.horizontalCenter
|
|
|
|
verticalCenter: parent.verticalCenter
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-06-23 20:06:17 +00:00
|
|
|
RadioButton {
|
|
|
|
checked: subsurfaceTheme.currentTheme === "Dark"
|
|
|
|
onClicked: {
|
|
|
|
darkTheme()
|
|
|
|
}
|
|
|
|
}
|
2017-06-24 01:08:47 +00:00
|
|
|
Row {
|
|
|
|
Label {
|
|
|
|
text: qsTr("Dark")
|
|
|
|
color: subsurfaceTheme.textColor
|
|
|
|
anchors.verticalCenter: blackRect.verticalCenter
|
|
|
|
rightPadding: Kirigami.Units.gridUnit
|
|
|
|
}
|
|
|
|
Rectangle {
|
|
|
|
id: blackRect
|
|
|
|
color: subsurfaceTheme.darkBackgroundColor
|
|
|
|
border.color: "black"
|
|
|
|
width: sampleRegularDark.width + 2 * Kirigami.Units.gridUnit
|
|
|
|
height: Kirigami.Units.gridUnit * 2
|
|
|
|
Text {
|
|
|
|
id: sampleRegularDark
|
|
|
|
text: qsTr("regular text")
|
|
|
|
color: subsurfaceTheme.darkTextColor
|
|
|
|
anchors {
|
|
|
|
horizontalCenter: parent.horizontalCenter
|
|
|
|
verticalCenter: parent.verticalCenter
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Rectangle {
|
|
|
|
color: subsurfaceTheme.darkPrimaryColor
|
|
|
|
border.color: "black"
|
|
|
|
width: sampleHighlightDark.width + 2 * Kirigami.Units.gridUnit
|
|
|
|
height: Kirigami.Units.gridUnit * 2
|
|
|
|
Text {
|
|
|
|
id: sampleHighlightDark
|
|
|
|
text: qsTr("Highlight")
|
|
|
|
color: subsurfaceTheme.darkPrimaryTextColor
|
|
|
|
anchors {
|
|
|
|
horizontalCenter: parent.horizontalCenter
|
|
|
|
verticalCenter: parent.verticalCenter
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
GridLayout {
|
|
|
|
columns: 2
|
|
|
|
width: parent.width - Kirigami.Units.gridUnit
|
|
|
|
anchors {
|
|
|
|
top: themePrefs.bottom
|
|
|
|
margins: Kirigami.Units.gridUnit / 2
|
|
|
|
}
|
2017-06-23 20:06:17 +00:00
|
|
|
|
2016-03-08 20:26:54 +00:00
|
|
|
Kirigami.Heading {
|
2016-05-03 19:24:00 +00:00
|
|
|
text: qsTr("Subsurface GPS data webservice")
|
2017-06-24 01:08:47 +00:00
|
|
|
color: subsurfaceTheme.textColor
|
2016-02-10 23:11:04 +00:00
|
|
|
level: 3
|
2016-03-08 20:26:54 +00:00
|
|
|
Layout.topMargin: Kirigami.Units.largeSpacing
|
|
|
|
Layout.bottomMargin: Kirigami.Units.largeSpacing / 2
|
2016-02-10 23:11:04 +00:00
|
|
|
Layout.columnSpan: 2
|
|
|
|
}
|
2015-11-14 01:14:22 +00:00
|
|
|
|
2016-03-08 20:26:54 +00:00
|
|
|
Kirigami.Label {
|
2016-05-03 19:24:00 +00:00
|
|
|
text: qsTr("Distance threshold (meters)")
|
2016-02-10 23:11:04 +00:00
|
|
|
Layout.alignment: Qt.AlignRight
|
|
|
|
}
|
2015-11-14 17:10:06 +00:00
|
|
|
|
2017-03-31 14:15:14 +00:00
|
|
|
TextField {
|
2016-02-10 23:11:04 +00:00
|
|
|
id: distanceThreshold
|
|
|
|
text: manager.distanceThreshold
|
|
|
|
Layout.fillWidth: true
|
|
|
|
}
|
2015-11-14 17:10:06 +00:00
|
|
|
|
2016-03-08 20:26:54 +00:00
|
|
|
Kirigami.Label {
|
2016-05-03 19:24:00 +00:00
|
|
|
text: qsTr("Time threshold (minutes)")
|
2016-02-10 23:11:04 +00:00
|
|
|
Layout.alignment: Qt.AlignRight
|
|
|
|
}
|
2015-11-14 17:10:06 +00:00
|
|
|
|
2017-03-31 14:15:14 +00:00
|
|
|
TextField {
|
2016-02-10 23:11:04 +00:00
|
|
|
id: timeThreshold
|
|
|
|
text: manager.timeThreshold
|
|
|
|
Layout.fillWidth: true
|
|
|
|
}
|
2015-11-14 17:10:06 +00:00
|
|
|
|
2016-02-10 23:11:04 +00:00
|
|
|
Item {
|
|
|
|
Layout.fillHeight: true
|
|
|
|
}
|
2015-07-10 07:48:28 +00:00
|
|
|
}
|
|
|
|
}
|