2023-05-03 21:21:04 +00:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
2019-04-20 17:40:06 +00:00
|
|
|
<component name="UserData" extends="ContentNode">
|
|
|
|
<interface>
|
|
|
|
<field id="id" type="string" />
|
|
|
|
<field id="username" type="string" />
|
|
|
|
<field id="token" type="string" />
|
2019-04-22 19:08:10 +00:00
|
|
|
<field id="server" type="string" />
|
2021-01-30 19:38:39 +00:00
|
|
|
<field id="json" type="assocarray" onChange="setDataFromJSON" />
|
2019-04-22 19:08:10 +00:00
|
|
|
<function name="setServer" />
|
2019-04-20 17:40:06 +00:00
|
|
|
<function name="getPreference" />
|
|
|
|
<function name="setPreference" />
|
|
|
|
<function name="loadFromRegistry" />
|
|
|
|
<function name="saveToRegistry" />
|
|
|
|
</interface>
|
2023-05-03 21:21:04 +00:00
|
|
|
</component>
|