130 lines
2.9 KiB
Promela
130 lines
2.9 KiB
Promela
<?hurr
|
|
#include=menu_head.py
|
|
?>
|
|
|
|
<?hurr
|
|
|
|
|
|
|
|
product_code = []
|
|
product_code.append('12-01-01-0001')
|
|
# Bean 3 esp
|
|
product_code.append('12-01-01-0013')
|
|
product_code.append('12-01-01-0020')
|
|
product_code.append('12-01-01-0022')
|
|
product_code.append('12-01-01-0026')
|
|
product_code.append('12-01-01-0024')
|
|
product_code.append('12-01-01-0028')
|
|
product_code.append('12-01-01-0033')
|
|
|
|
# Normal esp
|
|
product_code.append('12-11-01-0001')
|
|
product_code.append('12-01-01-0003')
|
|
|
|
# Bean 3 hot ameri
|
|
product_code.append('12-01-01-0014')
|
|
product_code.append('12-01-01-0019')
|
|
product_code.append('12-01-01-0021')
|
|
product_code.append('12-01-01-0025')
|
|
product_code.append('12-01-01-0023')
|
|
product_code.append('12-01-01-0027')
|
|
product_code.append('12-01-01-0032')
|
|
|
|
# End
|
|
product_code.append('12-01-01-0004')
|
|
product_code.append('12-01-01-0005')
|
|
product_code.append('12-01-01-0006')
|
|
product_code.append('12-01-01-0007')
|
|
product_code.append('12-01-01-0008')
|
|
product_code.append('12-01-01-0031')
|
|
|
|
product_code.append('12-01-01-0009')
|
|
product_code.append('12-01-01-0010')
|
|
product_code.append('12-01-01-0011')
|
|
product_code.append('12-01-01-0012')
|
|
product_code.append('12-01-01-0017')
|
|
|
|
# Bean 3 Dirty
|
|
product_code.append('12-01-02-0018')
|
|
product_code.append('12-01-02-0020')
|
|
product_code.append('12-01-02-0022')
|
|
product_code.append('12-01-02-0026')
|
|
product_code.append('12-01-02-0024')
|
|
product_code.append('12-01-02-0028')
|
|
product_code.append('12-01-02-0033')
|
|
|
|
# End
|
|
product_code.append('12-11-02-0001')
|
|
product_code.append('12-01-02-0001')
|
|
|
|
# Bean 3 Ice ameri
|
|
product_code.append('12-01-02-0011')
|
|
product_code.append('12-01-02-0019')
|
|
product_code.append('12-01-02-0021')
|
|
product_code.append('12-01-02-0025')
|
|
product_code.append('12-01-02-0023')
|
|
product_code.append('12-01-02-0027')
|
|
product_code.append('12-01-02-0032')
|
|
|
|
# End
|
|
product_code.append('12-01-02-0002')
|
|
product_code.append('12-11-02-0002')
|
|
|
|
product_code.append('12-01-02-0003')
|
|
product_code.append('12-01-02-0004')
|
|
product_code.append('12-01-02-0005')
|
|
product_code.append('12-01-02-0031')
|
|
|
|
product_code.append('12-01-02-0007')
|
|
product_code.append('12-01-02-0008')
|
|
product_code.append('12-01-02-0009')
|
|
product_code.append('12-01-02-0017')
|
|
|
|
#product_code.append('11-01-02-0009')
|
|
|
|
product_code.append('12-01-02-0006')
|
|
|
|
#product_code.append('')
|
|
|
|
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
|
|
?>
|
|
If SpiralOnline = "true" Then
|
|
Var Menu2Selected2 = "PressForever"
|
|
Else
|
|
; coffee show
|
|
Var Menu2Selected = "PressForever"
|
|
EndIf
|
|
|
|
|
|
|
|
Var Timeout = 0
|
|
</EventOpen>
|
|
|
|
|
|
|
|
<?hurr
|
|
#include=menu_catalog.xml
|
|
?>
|
|
|
|
|
|
<?hurr
|
|
#include=menu_gen.py
|
|
?>
|
|
|
|
|
|
|
|
|
|
</Popup>
|