2015-07-10 10:48:28 +03:00
|
|
|
import QtQuick 2.3
|
|
|
|
import QtQuick.Controls 1.2
|
|
|
|
import QtQuick.Window 2.2
|
|
|
|
import QtQuick.Dialogs 1.2
|
|
|
|
import QtQuick.Layouts 1.1
|
2015-11-29 17:27:20 +01:00
|
|
|
import org.kde.plasma.mobilecomponents 0.2 as MobileComponents
|
2015-07-10 10:48:28 +03:00
|
|
|
import org.subsurfacedivelog.mobile 1.0
|
|
|
|
|
2016-02-10 15:02:21 -08:00
|
|
|
MobileComponents.Page {
|
2016-02-12 04:51:03 -08:00
|
|
|
|
2016-02-13 21:50:31 -08:00
|
|
|
mainAction: Action {
|
|
|
|
text: "Save"
|
|
|
|
iconName: "document-save"
|
|
|
|
onTriggered: {
|
|
|
|
manager.distanceThreshold = distanceThreshold.text
|
|
|
|
manager.timeThreshold = timeThreshold.text
|
|
|
|
manager.savePreferences()
|
|
|
|
stackView.pop()
|
2016-02-12 04:51:03 -08:00
|
|
|
}
|
2016-02-13 21:50:31 -08:00
|
|
|
}
|
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
GridLayout {
|
2015-07-10 10:48:28 +03:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
signal accept
|
2015-07-10 10:48:28 +03:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
columns: 2
|
|
|
|
width: parent.width - MobileComponents.Units.gridUnit
|
|
|
|
anchors {
|
|
|
|
fill: parent
|
|
|
|
margins: MobileComponents.Units.gridUnit / 2
|
|
|
|
}
|
2015-07-12 10:55:45 -07:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
MobileComponents.Heading {
|
|
|
|
text: "Preferences"
|
|
|
|
Layout.bottomMargin: MobileComponents.Units.largeSpacing / 2
|
|
|
|
Layout.columnSpan: 2
|
|
|
|
}
|
2015-07-10 10:48:28 +03:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
MobileComponents.Heading {
|
|
|
|
text: "Subsurface GPS data webservice"
|
|
|
|
level: 3
|
|
|
|
Layout.topMargin: MobileComponents.Units.largeSpacing
|
|
|
|
Layout.bottomMargin: MobileComponents.Units.largeSpacing / 2
|
|
|
|
Layout.columnSpan: 2
|
|
|
|
}
|
2015-11-13 17:14:22 -08:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
MobileComponents.Label {
|
|
|
|
text: "Distance threshold (meters)"
|
|
|
|
Layout.alignment: Qt.AlignRight
|
|
|
|
}
|
2015-11-14 09:10:06 -08:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
TextField {
|
|
|
|
id: distanceThreshold
|
|
|
|
text: manager.distanceThreshold
|
|
|
|
Layout.fillWidth: true
|
|
|
|
}
|
2015-11-14 09:10:06 -08:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
MobileComponents.Label {
|
|
|
|
text: "Time threshold (minutes)"
|
|
|
|
Layout.alignment: Qt.AlignRight
|
|
|
|
}
|
2015-11-14 09:10:06 -08:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
TextField {
|
|
|
|
id: timeThreshold
|
|
|
|
text: manager.timeThreshold
|
|
|
|
Layout.fillWidth: true
|
|
|
|
}
|
2015-11-14 09:10:06 -08:00
|
|
|
|
2016-02-10 15:11:04 -08:00
|
|
|
Item {
|
|
|
|
Layout.fillHeight: true
|
|
|
|
}
|
2015-07-10 10:48:28 +03:00
|
|
|
}
|
|
|
|
}
|