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()
|
|
|
|
|
|
|
|
on_dismiss:
|
|
|
|
app.network.set_parameters(host.text, nd.port, nd.protocol, nd.proxy, auto_connect.active)
|
|
|
|
|
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')
|
|
|
|
Label:
|
|
|
|
id: host
|
2015-10-06 00:59:29 -07:00
|
|
|
|
|
|
|
Button:
|
2015-10-14 09:45:26 -07:00
|
|
|
size_hint: 0.5, None
|
2015-10-06 00:59:29 -07:00
|
|
|
height: '48dp'
|
2015-10-07 01:13:40 -07:00
|
|
|
text: _('Close')
|
|
|
|
on_release: nd.dismiss()
|
2015-10-14 09:45:26 -07:00
|
|
|
|
|
|
|
Widget:
|
|
|
|
size_hint: 1, 1
|