107 lines
2.1 KiB
Promela
107 lines
2.1 KiB
Promela
<?hurr
|
|
#include=menu_head.py
|
|
?>
|
|
<?hurr
|
|
|
|
|
|
|
|
product_code = []
|
|
product_code.append('12-05-02-0007')
|
|
product_code.append('12-05-02-0019')
|
|
product_code.append('12-05-02-0020')
|
|
product_code.append('12-05-02-0021')
|
|
product_code.append('12-05-02-0035')
|
|
product_code.append('12-05-02-0010')
|
|
product_code.append('12-05-02-0011')
|
|
product_code.append('12-05-02-0033')
|
|
|
|
product_code.append('12-05-02-0028')
|
|
|
|
product_code.append('12-05-02-0012')
|
|
product_code.append('12-05-02-0041')
|
|
product_code.append('12-05-02-0013')
|
|
product_code.append('12-05-02-0031')
|
|
product_code.append('12-05-02-0008')
|
|
product_code.append('12-05-02-0009')
|
|
|
|
product_code.append('12-05-02-0024')
|
|
|
|
product_code.append('12-05-02-0038')
|
|
|
|
product_code.append('12-05-02-0029') # LIMENADE group
|
|
product_code.append('12-05-02-0025')
|
|
product_code.append('12-05-02-0039')
|
|
|
|
product_code.append('12-05-02-0014')
|
|
product_code.append('12-05-02-0015')
|
|
|
|
product_code.append('12-05-01-0001')
|
|
product_code.append('12-05-02-0001')
|
|
product_code.append('12-05-02-0034')
|
|
|
|
product_code.append('12-05-02-0004')
|
|
product_code.append('12-05-02-0032')
|
|
product_code.append('12-05-02-0005')
|
|
product_code.append('12-05-02-0040')
|
|
|
|
product_code.append('12-05-02-0006')
|
|
product_code.append('12-05-02-0026')
|
|
|
|
product_code.append('12-05-02-0030')
|
|
|
|
|
|
product_code.append('12-05-02-0002')
|
|
product_code.append('12-05-02-0003')
|
|
|
|
product_code.append('12-06-01-0001')
|
|
|
|
product_code.append('12-05-02-0016')
|
|
product_code.append('12-05-02-0017')
|
|
product_code.append('12-05-02-0018')
|
|
|
|
product_code.append('12-05-01-0002')
|
|
|
|
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
|
|
?>
|
|
|
|
; soda and other
|
|
If SpiralOnline = "true" Then
|
|
Var Menu6Selected2 = "PressForever"
|
|
Else
|
|
Var Menu6Selected = "PressForever"
|
|
EndIf
|
|
Var Timeout = 0
|
|
</EventOpen>
|
|
|
|
|
|
<?hurr
|
|
#include=menu_catalog.xml
|
|
?>
|
|
|
|
|
|
|
|
|
|
|
|
<?hurr
|
|
#include=menu_gen.py
|
|
?>
|
|
|
|
|
|
|
|
|
|
|
|
</Popup>
|