taobin_project/xml/page_catalog_choose_drink3.pml

115 lines
2.4 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-02-01-0001')
product_code.append('12-02-01-0002')
2022-04-20 15:38:07 +07:00
product_code.append('12-02-01-0024')
2020-11-12 17:53:04 +07:00
2021-07-21 22:47:34 +07:00
product_code.append('12-02-01-0020')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-01-0003')
2022-03-19 21:57:29 +07:00
product_code.append('12-02-01-0025')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-01-0004')
2022-02-11 17:10:27 +07:00
product_code.append('12-02-01-0026')
2020-09-17 17:35:58 +07:00
2020-11-12 17:53:04 +07:00
2021-05-24 13:38:59 +07:00
#product_code.append('12-02-01-0005') #HOT BLACK TEA
2020-12-26 01:33:30 +07:00
product_code.append('12-02-01-0006')
2020-11-12 17:53:04 +07:00
2021-07-21 22:47:34 +07:00
product_code.append('12-02-01-0021')
2022-04-20 15:38:07 +07:00
2020-12-26 01:33:30 +07:00
product_code.append('12-02-01-0007')
product_code.append('12-02-01-0008')
2021-06-25 17:14:12 +07:00
product_code.append('12-02-01-0019')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-01-0009')
2021-08-12 19:07:48 +07:00
product_code.append('12-02-01-0022')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-01-0010')
2021-01-19 23:43:43 +07:00
product_code.append('12-02-01-0011')
2022-02-11 17:10:27 +07:00
product_code.append('12-02-01-0027')
2021-01-19 23:43:43 +07:00
product_code.append('12-02-01-0012')
2022-02-11 17:10:27 +07:00
product_code.append('12-02-01-0028')
2021-04-22 22:33:20 +07:00
product_code.append('12-02-01-0017')
2020-11-12 17:53:04 +07:00
2022-03-19 21:57:29 +07:00
product_code.append('12-02-01-0031')
product_code.append('12-02-01-0032')
2021-07-21 22:47:34 +07:00
product_code.append('12-02-02-0020')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-02-0001')
product_code.append('12-02-02-0002')
product_code.append('12-02-02-0003')
2022-03-19 21:57:29 +07:00
product_code.append('12-02-02-0025')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-02-0004')
2022-02-11 17:10:27 +07:00
product_code.append('12-02-02-0026')
2022-04-20 15:38:07 +07:00
#12-02-02-0024
2020-12-26 01:33:30 +07:00
product_code.append('12-02-02-0005')
2022-04-20 15:38:07 +07:00
product_code.append('12-02-02-0024')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-02-0006')
product_code.append('12-02-02-0007')
2020-11-12 17:53:04 +07:00
2020-12-26 01:33:30 +07:00
product_code.append('12-02-02-0008')
2021-06-25 17:14:12 +07:00
product_code.append('12-02-02-0019')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-02-0009')
2021-08-12 19:07:48 +07:00
product_code.append('12-02-02-0022')
2020-12-26 01:33:30 +07:00
product_code.append('12-02-02-0010')
2021-01-19 23:43:43 +07:00
product_code.append('12-02-02-0011')
2022-02-11 17:10:27 +07:00
product_code.append('12-02-02-0027')
2021-01-19 23:43:43 +07:00
product_code.append('12-02-02-0012')
2022-02-11 17:10:27 +07:00
product_code.append('12-02-02-0028')
2021-06-25 17:14:12 +07:00
product_code.append('12-05-02-0027')
2022-03-19 21:57:29 +07:00
product_code.append('12-02-02-0031')
product_code.append('12-02-02-0032')
2020-09-17 17:35:58 +07:00
2020-11-15 23:14:16 +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>
2022-05-05 23:15:44 +07:00
;<Background> "0xeae6e1" </Background>
2020-09-17 17:35:58 +07:00
<Volume> SoundVolume </Volume>
<EventOpen>
; On open
2022-02-15 10:29:57 +07:00
2022-02-17 22:59:01 +07:00
<?hurr
#include=menu_catalog_default_init.xml
?>
2022-02-15 10:29:57 +07:00
2022-02-17 22:59:01 +07:00
; tea
2022-02-18 22:23:47 +07:00
If SpiralOnline = "true" Then
Var Menu3Selected2 = "PressForever"
Else
Var Menu3Selected = "PressForever"
EndIf
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
#include=menu_gen.py
?>
</Popup>