| changeset 401 | 30ecf82e3ae7 |
| parent 400 | 228524287573 |
| child 405 | 8546da96ab11 |
| 400:228524287573 | 401:30ecf82e3ae7 |
|---|---|
358 ) |
358 ) |
359 ) |
359 ) |
360 #(#MenuItem |
360 #(#MenuItem |
361 #'label:' 'History' |
361 #'label:' 'History' |
362 #'submenuChannel:' #menuHistory |
362 #'submenuChannel:' #menuHistory |
363 ) |
|
364 #(#MenuItem |
|
365 #'label:' 'Settings' |
|
366 #'submenuChannel:' #menuSettings |
|
367 ) |
363 ) |
368 #(#MenuItem |
364 #(#MenuItem |
369 #'label:' 'Help' |
365 #'label:' 'Help' |
370 #'submenuChannel:' #menuHelp |
366 #'submenuChannel:' #menuHelp |
371 ) |
367 ) |