84 lines
1.6 KiB
Promela
84 lines
1.6 KiB
Promela
<?hurr
|
|
#include=menu_head.py
|
|
?>
|
|
<?hurr
|
|
|
|
|
|
|
|
product_code = []
|
|
product_code.append('12-04-02-0001')
|
|
product_code.append('12-04-02-0016')
|
|
product_code.append('12-04-02-0002')
|
|
product_code.append('12-04-02-0003')
|
|
product_code.append('12-04-02-0013')
|
|
product_code.append('12-04-02-0004')
|
|
product_code.append('12-04-02-0005')
|
|
product_code.append('12-04-02-0006')
|
|
product_code.append('12-04-02-0007')
|
|
product_code.append('12-04-02-0008')
|
|
product_code.append('12-04-02-0009')
|
|
product_code.append('12-04-02-0010')
|
|
product_code.append('12-04-02-0011')
|
|
product_code.append('12-04-02-0014')
|
|
product_code.append('12-04-02-0017')
|
|
|
|
menu_count = len( product_code)
|
|
|
|
?>
|
|
|
|
<Popup>
|
|
<Cache> "Enable" </Cache>
|
|
<Width> 1080 </Width>
|
|
<Height> 1920 </Height>
|
|
;<Background> "0xeae6e1" </Background>
|
|
<Volume> SoundVolume </Volume>
|
|
<EventOpen>
|
|
; On open
|
|
|
|
<?hurr
|
|
#include=menu_catalog_default_init.xml
|
|
?>
|
|
|
|
; protein
|
|
If SpiralOnline = "true" Then
|
|
|
|
If AppFastEnable = "true" Then
|
|
Var Menu11Selected2 = "PressForever"
|
|
Var Menu7Selected2 = "Invisible"
|
|
Else
|
|
Var Menu11Selected2 = "Invisible"
|
|
Var Menu7Selected2 = "PressForever"
|
|
EndIf
|
|
Else
|
|
|
|
If AppFastEnable = "true" Then
|
|
Var Menu11Selected = "PressForever"
|
|
Var Menu7Selected = "Invisible"
|
|
Else
|
|
Var Menu11Selected = "Invisible"
|
|
Var Menu7Selected = "PressForever"
|
|
EndIf
|
|
EndIf
|
|
|
|
|
|
Var Timeout = 0
|
|
</EventOpen>
|
|
|
|
|
|
<?hurr
|
|
#include=menu_catalog.xml
|
|
?>
|
|
|
|
|
|
|
|
|
|
|
|
<?hurr
|
|
#include=menu_gen.py
|
|
?>
|
|
|
|
|
|
|
|
|
|
|
|
</Popup>
|