1-
2-
31namespace microcode {
4- import App = microgui . App
52 import Scene = user_interface_base . Scene
63 import SceneManager = user_interface_base . SceneManager
74 import Screen = user_interface_base . Screen
8- import KeyboardMenu = microgui . KeyboardMenu
95 import Button = user_interface_base . Button
6+
7+ import App = microgui . App
8+ import KeyboardMenu = microgui . KeyboardMenu
109 import ButtonCollection = microgui . ButtonCollection
1110 import GUIComponentAlignment = microgui . GUIComponentAlignment
1211 import TextBox = microgui . TextBox
@@ -18,10 +17,10 @@ namespace microcode {
1817 import RadioButtonCollection = microgui . RadioButtonCollection
1918 import RadioButton = microgui . RadioButton
2019
20+
2121 control . singleSimulator ( ) ;
2222 const app = new App ( ) ;
2323
24-
2524 // Comment out the examples you aren't using:
2625
2726
@@ -142,7 +141,7 @@ namespace microcode {
142141 new Button ( { icon : "compass" , ariaId : "6" , onClick : ( ) => basic . showNumber ( 6 ) } ) ,
143142 new Button ( { icon : "compass" , ariaId : "6" , onClick : ( ) => basic . showNumber ( 6 ) } ) ,
144143 new Button ( { icon : "compass" , ariaId : "6" , onClick : ( ) => basic . showNumber ( 6 ) } ) ,
145-
144+
146145 ] ,
147146 [ // Row 4:
148147 new Button ( { icon : "right_spin" , ariaId : "7" , onClick : ( ) => basic . showNumber ( 7 ) } ) ,
@@ -217,16 +216,16 @@ namespace microcode {
217216 // Example 6: RadioButtons
218217
219218 // const rbc = new RadioButtonCollection({
220- // alignment: GUIComponentAlignment.TOP ,
219+ // alignment: GUIComponentAlignment.BOT ,
221220 // btns: [
222- // new RadioButton({ text: "hi", onClick: () => { basic.showString("hi ") } }),
223- // new RadioButton({ text: "hiya", onClick: () => { basic.showString("hiya ") } }),
224- // new RadioButton({ text: "hello", onClick: () => { basic.showString("hello ") } }),
225- // new RadioButton({ text: "hello ", onClick: () => { basic.showString("hello ") } })
221+ // new RadioButton({ text: "hi", onClick: () => { basic.showString("a ") } }),
222+ // new RadioButton({ text: "hiya", onClick: () => { basic.showString("b ") } }),
223+ // new RadioButton({ text: "hello", onClick: () => { basic.showString("c ") } }),
224+ // new RadioButton({ text: "howdy ", onClick: () => { basic.showString("d ") } })
226225 // ],
227226 // isActive: true,
228227 // yScaling: 1.1,
229- // // title: "The title",
228+ // title: "The title",
230229 // colour: 3,
231230 // })
232231
0 commit comments