equal
deleted
inserted
replaced
254 model: pin |
254 model: pin |
255 ) |
255 ) |
256 ) |
256 ) |
257 |
257 |
258 ) |
258 ) |
259 extent: (Point 206 31) |
259 extent: (Point 219 31) |
260 ) |
260 ) |
261 (ActionButtonSpec |
261 (ActionButtonSpec |
262 label: 'Debug' |
262 label: 'Debug' |
263 name: 'DebugButton' |
263 name: 'DebugButton' |
264 activeHelpKey: debugSelected |
264 activeHelpKey: debugSelected |
331 labelChannel: resultInfoAspect |
331 labelChannel: resultInfoAspect |
332 adjust: left |
332 adjust: left |
333 ) |
333 ) |
334 (ViewSpec |
334 (ViewSpec |
335 name: 'ProgressPanel' |
335 name: 'ProgressPanel' |
336 layout: (LayoutFrame -32 0.5 -17 1 -3 1.0 -5 1) |
336 layout: (LayoutFrame 0 0.75 -17 1 -3 1.0 -5 1) |
337 initiallyInvisible: true |
337 initiallyInvisible: true |
338 visibilityChannel: progressIndicatorShownHolder |
338 visibilityChannel: progressIndicatorShownHolder |
339 backgroundChannel: resultBackgroundColorAspect |
339 backgroundChannel: resultBackgroundColorAspect |
340 component: |
340 component: |
341 (SpecCollection |
341 (SpecCollection |