| 
									
										
										
										
											2015-07-10 10:48:28 +03:00
										 |  |  | import QtQuick 2.3 | 
					
						
							| 
									
										
										
										
											2017-03-31 16:15:14 +02:00
										 |  |  | import QtQuick.Controls 2.0 | 
					
						
							| 
									
										
										
										
											2015-07-10 10:48:28 +03:00
										 |  |  | import QtQuick.Window 2.2 | 
					
						
							|  |  |  | import QtQuick.Dialogs 1.2 | 
					
						
							|  |  |  | import QtQuick.Layouts 1.1 | 
					
						
							| 
									
										
										
										
											2017-03-31 16:15:14 +02:00
										 |  |  | import org.kde.kirigami 2.0 as Kirigami | 
					
						
							| 
									
										
										
										
											2015-07-10 10:48:28 +03:00
										 |  |  | import org.subsurfacedivelog.mobile 1.0 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | Kirigami.Page { | 
					
						
							| 
									
										
										
										
											2016-02-12 04:51:03 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-05-03 21:24:00 +02:00
										 |  |  | 	title: qsTr("Preferences") | 
					
						
							| 
									
										
										
										
											2016-04-19 04:51:19 -07:00
										 |  |  | 	actions { | 
					
						
							| 
									
										
										
										
											2017-03-31 16:15:14 +02:00
										 |  |  | 		main: Kirigami.Action { | 
					
						
							| 
									
										
										
										
											2016-05-03 21:24:00 +02:00
										 |  |  | 			text: qsTr("Save") | 
					
						
							| 
									
										
										
										
											2016-04-19 04:51:19 -07:00
										 |  |  | 			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 | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 		width: parent.width - Kirigami.Units.gridUnit | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 		anchors { | 
					
						
							|  |  |  | 			fill: parent | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 			margins: Kirigami.Units.gridUnit / 2 | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 		} | 
					
						
							| 
									
										
										
										
											2015-07-12 10:55:45 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 		Kirigami.Heading { | 
					
						
							| 
									
										
										
										
											2016-05-03 21:24:00 +02:00
										 |  |  | 			text: qsTr("Preferences") | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 			Layout.bottomMargin: Kirigami.Units.largeSpacing / 2 | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 			Layout.columnSpan: 2 | 
					
						
							|  |  |  | 		} | 
					
						
							| 
									
										
										
										
											2015-07-10 10:48:28 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 		Kirigami.Heading { | 
					
						
							| 
									
										
										
										
											2016-05-03 21:24:00 +02:00
										 |  |  | 			text: qsTr("Subsurface GPS data webservice") | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 			level: 3 | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 			Layout.topMargin: Kirigami.Units.largeSpacing | 
					
						
							|  |  |  | 			Layout.bottomMargin: Kirigami.Units.largeSpacing / 2 | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 			Layout.columnSpan: 2 | 
					
						
							|  |  |  | 		} | 
					
						
							| 
									
										
										
										
											2015-11-13 17:14:22 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 		Kirigami.Label { | 
					
						
							| 
									
										
										
										
											2016-05-03 21:24:00 +02:00
										 |  |  | 			text: qsTr("Distance threshold (meters)") | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 			Layout.alignment: Qt.AlignRight | 
					
						
							|  |  |  | 		} | 
					
						
							| 
									
										
										
										
											2015-11-14 09:10:06 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-03-31 16:15:14 +02:00
										 |  |  | 		TextField { | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 			id: distanceThreshold | 
					
						
							|  |  |  | 			text: manager.distanceThreshold | 
					
						
							|  |  |  | 			Layout.fillWidth: true | 
					
						
							|  |  |  | 		} | 
					
						
							| 
									
										
										
										
											2015-11-14 09:10:06 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-03-08 21:26:54 +01:00
										 |  |  | 		Kirigami.Label { | 
					
						
							| 
									
										
										
										
											2016-05-03 21:24:00 +02:00
										 |  |  | 			text: qsTr("Time threshold (minutes)") | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 			Layout.alignment: Qt.AlignRight | 
					
						
							|  |  |  | 		} | 
					
						
							| 
									
										
										
										
											2015-11-14 09:10:06 -08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-03-31 16:15:14 +02:00
										 |  |  | 		TextField { | 
					
						
							| 
									
										
										
										
											2016-02-10 15:11:04 -08:00
										 |  |  | 			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
										 |  |  | 	} | 
					
						
							|  |  |  | } |