taobin_project/xml/page_catalog_choose_drink2.pml

131 lines
2.9 KiB
Promela
Raw Normal View History

2020-09-17 17:35:58 +07:00
<?hurr
#include=menu_head.py
?>
<?hurr
product_code = []
2020-12-26 01:33:30 +07:00
product_code.append('12-01-01-0001')
# Bean 3 esp
2021-04-06 14:50:53 +07:00
product_code.append('12-01-01-0013')
2021-08-25 22:42:18 +07:00
product_code.append('12-01-01-0020')
2021-10-25 15:53:30 +07:00
product_code.append('12-01-01-0022')
product_code.append('12-01-01-0026')
product_code.append('12-01-01-0024')
2022-01-19 14:28:35 +07:00
product_code.append('12-01-01-0028')
2022-02-22 13:14:25 +07:00
product_code.append('12-01-01-0033')
2021-04-06 14:50:53 +07:00
# Normal esp
2020-12-26 01:33:30 +07:00
product_code.append('12-11-01-0001')
product_code.append('12-01-01-0003')
# Bean 3 hot ameri
2021-04-06 14:50:53 +07:00
product_code.append('12-01-01-0014')
2021-08-25 22:42:18 +07:00
product_code.append('12-01-01-0019')
2021-10-25 15:53:30 +07:00
product_code.append('12-01-01-0021')
product_code.append('12-01-01-0025')
product_code.append('12-01-01-0023')
2022-01-19 14:28:35 +07:00
product_code.append('12-01-01-0027')
2022-02-22 13:14:25 +07:00
product_code.append('12-01-01-0032')
# End
2020-12-26 01:33:30 +07:00
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')
2022-02-11 17:10:27 +07:00
product_code.append('12-01-01-0008')
product_code.append('12-01-01-0031')
2020-12-26 01:33:30 +07:00
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')
2021-06-25 17:14:12 +07:00
product_code.append('12-01-01-0017')
# Bean 3 Dirty
2021-07-13 14:04:36 +07:00
product_code.append('12-01-02-0018')
2021-08-25 22:42:18 +07:00
product_code.append('12-01-02-0020')
2021-10-25 15:53:30 +07:00
product_code.append('12-01-02-0022')
product_code.append('12-01-02-0026')
product_code.append('12-01-02-0024')
2022-01-19 14:28:35 +07:00
product_code.append('12-01-02-0028')
2022-02-22 13:14:25 +07:00
product_code.append('12-01-02-0033')
2020-12-26 01:33:30 +07:00
# End
2020-12-26 01:33:30 +07:00
product_code.append('12-11-02-0001')
product_code.append('12-01-02-0001')
2021-10-25 15:53:30 +07:00
# Bean 3 Ice ameri
2021-04-06 14:50:53 +07:00
product_code.append('12-01-02-0011')
2021-08-25 22:42:18 +07:00
product_code.append('12-01-02-0019')
2021-10-25 15:53:30 +07:00
product_code.append('12-01-02-0021')
product_code.append('12-01-02-0025')
product_code.append('12-01-02-0023')
2022-01-19 14:28:35 +07:00
product_code.append('12-01-02-0027')
2022-02-22 13:14:25 +07:00
product_code.append('12-01-02-0032')
2021-04-06 14:50:53 +07:00
# End
2020-12-26 01:33:30 +07:00
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')
2022-02-11 17:10:27 +07:00
product_code.append('12-01-02-0031')
2020-12-26 01:33:30 +07:00
product_code.append('12-01-02-0007')
product_code.append('12-01-02-0008')
product_code.append('12-01-02-0009')
2021-06-25 17:14:12 +07:00
product_code.append('12-01-02-0017')
2021-11-24 23:28:56 +07:00
#product_code.append('11-01-02-0009')
product_code.append('12-01-02-0006')
2020-09-17 17:35:58 +07:00
#product_code.append('')
2020-11-12 17:53:04 +07:00
menu_count = len( product_code)
2020-09-17 17:35:58 +07:00
?>
<Popup>
<Cache> "Enable" </Cache>
<Width> 1080 </Width>
<Height> 1920 </Height>
<Background> "0xeae6e1" </Background>
<Volume> SoundVolume </Volume>
<EventOpen>
; On open
2021-03-19 08:27:10 +07:00
2022-02-17 22:59:01 +07:00
<?hurr
#include=menu_catalog_default_init.xml
?>
2022-02-18 22:23:47 +07:00
If SpiralOnline = "true" Then
Var Menu2Selected2 = "PressForever"
Else
; coffee show
Var Menu2Selected = "PressForever"
2020-12-16 09:50:26 +07:00
EndIf
2021-10-15 15:30:55 +07:00
2020-11-12 17:53:04 +07:00
2021-01-19 23:43:43 +07:00
Var Timeout = 0
2020-09-17 17:35:58 +07:00
</EventOpen>
2021-01-19 23:43:43 +07:00
2020-09-17 17:35:58 +07:00
2020-11-12 17:53:04 +07:00
<?hurr
#include=menu_catalog.xml
?>
2020-09-29 17:02:36 +07:00
2020-09-17 17:35:58 +07:00
<?hurr
2020-12-21 21:24:08 +07:00
#include=menu_gen.py
2020-09-17 17:35:58 +07:00
?>
</Popup>