2015-10-06 00:59:29 -07:00
|
|
|
Popup:
|
2015-10-07 01:13:40 -07:00
|
|
|
id: nd
|
2015-10-06 00:59:29 -07:00
|
|
|
title: _('Network')
|
2015-10-07 01:13:40 -07:00
|
|
|
|
|
|
|
on_open:
|
|
|
|
host.text, nd.port, nd.protocol, nd.proxy, auto_connect.active = app.network.get_parameters()
|
|
|
|
|
2015-10-06 00:59:29 -07:00
|
|
|
BoxLayout:
|
2015-10-13 03:12:49 -07:00
|
|
|
|
2015-10-07 01:13:40 -07:00
|
|
|
orientation: 'vertical'
|
|
|
|
|
|
|
|
GridLayout:
|
|
|
|
cols: 2
|
|
|
|
Label:
|
|
|
|
text: _('Auto-connect')
|
|
|
|
CheckBox:
|
|
|
|
id: auto_connect
|
|
|
|
size_hint_y: None
|
|
|
|
Label:
|
|
|
|
text: _('Server')
|
2015-10-15 02:57:07 -07:00
|
|
|
Spinner:
|
2015-10-07 01:13:40 -07:00
|
|
|
id: host
|
2015-10-15 02:57:07 -07:00
|
|
|
text: ''
|
2016-02-14 19:18:11 -08:00
|
|
|
values: sorted(app.network.get_servers())
|
2016-02-21 09:47:45 -08:00
|
|
|
disabled: auto_connect.active
|
2015-12-02 03:11:28 -08:00
|
|
|
Widget:
|
|
|
|
size_hint: 1, 1
|
2015-10-06 00:59:29 -07:00
|
|
|
|
2015-10-15 02:57:07 -07:00
|
|
|
BoxLayout:
|
2015-12-02 03:11:28 -08:00
|
|
|
Widget:
|
2015-10-15 02:57:07 -07:00
|
|
|
size_hint: 0.5, None
|
|
|
|
Button:
|
|
|
|
size_hint: 0.5, None
|
|
|
|
height: '48dp'
|
|
|
|
text: _('OK')
|
|
|
|
on_release:
|
|
|
|
app.network.set_parameters(host.text, nd.port, nd.protocol, nd.proxy, auto_connect.active)
|
|
|
|
nd.dismiss()
|
2015-10-14 09:45:26 -07:00
|
|
|
|