2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2017-02-14 19:43:09 -05:00
|
|
|
const UI = imports.testcommon.ui;
|
|
|
|
|
2019-02-08 22:21:36 -05:00
|
|
|
const { Clutter, GObject, Gtk, Shell, St } = imports.gi;
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
// This is an interactive test of the sizing behavior of StScrollView. It
|
|
|
|
// may be interesting in the future to split out the two classes at the
|
|
|
|
// top into utility classes for testing the sizing behavior of other
|
|
|
|
// containers and actors.
|
|
|
|
|
|
|
|
/****************************************************************************/
|
|
|
|
|
|
|
|
// FlowedBoxes: This is a simple actor that demonstrates an interesting
|
|
|
|
// height-for-width behavior. A set of boxes of different sizes are line-wrapped
|
|
|
|
// horizontally with the minimum horizontal size being determined by the
|
|
|
|
// largest box. It would be easy to extend this to allow doing vertical
|
|
|
|
// wrapping instead, if you wanted to see just how badly our width-for-height
|
|
|
|
// implementation is or work on fixing it.
|
|
|
|
|
|
|
|
const BOX_HEIGHT = 20;
|
|
|
|
const BOX_WIDTHS = [
|
2012-11-28 17:00:15 -05:00
|
|
|
10, 40, 100, 20, 60, 30, 70, 10, 20, 200, 50, 70, 90, 20, 40,
|
|
|
|
10, 40, 100, 20, 60, 30, 70, 10, 20, 200, 50, 70, 90, 20, 40,
|
|
|
|
10, 40, 100, 20, 60, 30, 70, 10, 20, 200, 50, 70, 90, 20, 40,
|
|
|
|
10, 40, 100, 20, 60, 30, 70, 10, 20, 200, 50, 70, 90, 20, 40,
|
2010-03-05 17:20:56 -05:00
|
|
|
];
|
|
|
|
|
|
|
|
const SPACING = 10;
|
|
|
|
|
2017-10-30 21:23:39 -04:00
|
|
|
var FlowedBoxes = GObject.registerClass(
|
|
|
|
class FlowedBoxes extends St.Widget {
|
2017-10-30 20:03:21 -04:00
|
|
|
_init() {
|
2017-10-30 21:23:39 -04:00
|
|
|
super._init();
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
for (let i = 0; i < BOX_WIDTHS.length; i++) {
|
|
|
|
let child = new St.Bin({ width: BOX_WIDTHS[i], height: BOX_HEIGHT,
|
|
|
|
style: 'border: 1px solid #444444; background: #00aa44' })
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(child);
|
2010-03-05 17:20:56 -05:00
|
|
|
}
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
vfunc_get_preferred_width(forHeight) {
|
|
|
|
let children = this.get_children();
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
let maxMinWidth = 0;
|
|
|
|
let totalNaturalWidth = 0;
|
|
|
|
|
|
|
|
for (let i = 0; i < children.length; i++) {
|
|
|
|
let child = children[i];
|
|
|
|
let [minWidth, naturalWidth] = child.get_preferred_width(-1);
|
|
|
|
maxMinWidth = Math.max(maxMinWidth, minWidth);
|
|
|
|
if (i != 0)
|
|
|
|
totalNaturalWidth += SPACING;
|
|
|
|
totalNaturalWidth += naturalWidth;
|
|
|
|
}
|
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
return [maxMinWidth, totalNaturalWidth];
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_layoutChildren(forWidth, callback) {
|
2018-07-13 10:01:42 -04:00
|
|
|
let children = this.get_children();
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
let x = 0;
|
|
|
|
let y = 0;
|
|
|
|
for (let i = 0; i < children.length; i++) {
|
|
|
|
let child = children[i];
|
|
|
|
let [minWidth, naturalWidth] = child.get_preferred_width(-1);
|
|
|
|
let [minHeight, naturalHeight] = child.get_preferred_height(naturalWidth);
|
|
|
|
|
|
|
|
let x1 = x;
|
|
|
|
if (x != 0)
|
|
|
|
x1 += SPACING;
|
|
|
|
let x2 = x1 + naturalWidth;
|
|
|
|
|
|
|
|
if (x2 > forWidth) {
|
|
|
|
if (x > 0) {
|
|
|
|
x1 = 0;
|
|
|
|
y += BOX_HEIGHT + SPACING;
|
|
|
|
}
|
|
|
|
|
|
|
|
x2 = naturalWidth;
|
|
|
|
}
|
|
|
|
|
|
|
|
callback(child, x1, y, x2, y + naturalHeight);
|
|
|
|
x = x2;
|
|
|
|
}
|
|
|
|
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
vfunc_get_preferred_height(forWidth) {
|
2010-03-05 17:20:56 -05:00
|
|
|
let height = 0;
|
|
|
|
this._layoutChildren(forWidth,
|
|
|
|
function(child, x1, y1, x2, y2) {
|
|
|
|
height = Math.max(height, y2);
|
|
|
|
});
|
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
return [height, height];
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
vfunc_allocate(box, flags) {
|
|
|
|
this.set_allocation(box, flags);
|
|
|
|
|
2010-03-05 17:20:56 -05:00
|
|
|
this._layoutChildren(box.x2 - box.x1,
|
|
|
|
function(child, x1, y1, x2, y2) {
|
|
|
|
child.allocate(new Clutter.ActorBox({ x1: x1, y1: y1, x2: x2, y2: y2 }),
|
|
|
|
flags);
|
|
|
|
});
|
|
|
|
}
|
2018-07-13 10:01:42 -04:00
|
|
|
});
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
/****************************************************************************/
|
|
|
|
|
|
|
|
// SizingIllustrator: this is a container that allows interactively exploring
|
|
|
|
// the sizing behavior of the child. Lines are drawn to indicate the minimum
|
|
|
|
// and natural size of the child, and a drag handle allows the user to resize
|
|
|
|
// the child interactively and see how that affects it.
|
|
|
|
//
|
|
|
|
// This is currently only written for the case where the child is height-for-width
|
|
|
|
|
2017-10-30 21:23:39 -04:00
|
|
|
var SizingIllustrator = GObject.registerClass(
|
|
|
|
class SizingIllustrator extends St.Widget {
|
2017-10-30 20:03:21 -04:00
|
|
|
_init() {
|
2017-10-30 21:23:39 -04:00
|
|
|
super._init();
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
this.minWidthLine = new St.Bin({ style: 'background: red' });
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(this.minWidthLine);
|
2010-03-05 17:20:56 -05:00
|
|
|
this.minHeightLine = new St.Bin({ style: 'background: red' });
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(this.minHeightLine);
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
this.naturalWidthLine = new St.Bin({ style: 'background: #4444ff' });
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(this.naturalWidthLine);
|
2010-03-05 17:20:56 -05:00
|
|
|
this.naturalHeightLine = new St.Bin({ style: 'background: #4444ff' });
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(this.naturalHeightLine);
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
this.currentWidthLine = new St.Bin({ style: 'background: #aaaaaa' });
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(this.currentWidthLine);
|
2010-03-05 17:20:56 -05:00
|
|
|
this.currentHeightLine = new St.Bin({ style: 'background: #aaaaaa' });
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(this.currentHeightLine);
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
this.handle = new St.Bin({ style: 'background: yellow; border: 1px solid black;',
|
|
|
|
reactive: true });
|
2017-12-01 19:27:35 -05:00
|
|
|
this.handle.connect('button-press-event', this._handlePressed.bind(this));
|
|
|
|
this.handle.connect('button-release-event', this._handleReleased.bind(this));
|
|
|
|
this.handle.connect('motion-event', this._handleMotion.bind(this));
|
2018-07-13 10:01:42 -04:00
|
|
|
this.add_actor(this.handle);
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
this._inDrag = false;
|
|
|
|
|
|
|
|
this.width = 300;
|
|
|
|
this.height = 300;
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
add(child) {
|
2018-07-13 10:01:42 -04:00
|
|
|
this.child = child;
|
|
|
|
this.add_child(child);
|
|
|
|
this.child.lower_bottom();
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
vfunc_get_preferred_width(forHeight) {
|
|
|
|
let children = this.get_children();
|
2010-03-05 17:20:56 -05:00
|
|
|
for (let i = 0; i < children.length; i++) {
|
|
|
|
let child = children[i];
|
|
|
|
let [minWidth, naturalWidth] = child.get_preferred_width(-1);
|
|
|
|
if (child == this.child) {
|
|
|
|
this.minWidth = minWidth;
|
|
|
|
this.naturalWidth = naturalWidth;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
return [0, 400];
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
vfunc_get_preferred_height(forWidth) {
|
|
|
|
let children = this.get_children();
|
2010-03-05 17:20:56 -05:00
|
|
|
for (let i = 0; i < children.length; i++) {
|
|
|
|
let child = children[i];
|
|
|
|
if (child == this.child) {
|
|
|
|
[this.minHeight, this.naturalHeight] = child.get_preferred_height(this.width);
|
|
|
|
} else {
|
2018-07-13 10:01:42 -04:00
|
|
|
let [minWidth, naturalWidth] = child.get_preferred_height(naturalWidth);
|
2010-03-05 17:20:56 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
return [0, 400];
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2018-07-13 10:01:42 -04:00
|
|
|
vfunc_allocate(box, flags) {
|
|
|
|
this.set_allocation(box, flags);
|
|
|
|
|
|
|
|
box = this.get_theme_node().get_content_box(box);
|
|
|
|
|
2010-03-05 17:20:56 -05:00
|
|
|
let allocWidth = box.x2 - box.x1;
|
|
|
|
let allocHeight = box.y2 - box.y1;
|
|
|
|
|
|
|
|
function alloc(child, x1, y1, x2, y2) {
|
|
|
|
child.allocate(new Clutter.ActorBox({ x1: x1, y1: y1, x2: x2, y2: y2 }),
|
|
|
|
flags);
|
|
|
|
}
|
|
|
|
|
|
|
|
alloc(this.child, 0, 0, this.width, this.height);
|
|
|
|
alloc(this.minWidthLine, this.minWidth, 0, this.minWidth + 1, allocHeight);
|
|
|
|
alloc(this.naturalWidthLine, this.naturalWidth, 0, this.naturalWidth + 1, allocHeight);
|
|
|
|
alloc(this.currentWidthLine, this.width, 0, this.width + 1, allocHeight);
|
|
|
|
alloc(this.minHeightLine, 0, this.minHeight, allocWidth, this.minHeight + 1);
|
|
|
|
alloc(this.naturalHeightLine, 0, this.naturalHeight, allocWidth, this.naturalHeight + 1);
|
|
|
|
alloc(this.currentHeightLine, 0, this.height, allocWidth, this.height + 1);
|
|
|
|
alloc(this.handle, this.width, this.height, this.width + 10, this.height + 10);
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_handlePressed(handle, event) {
|
2010-03-05 17:20:56 -05:00
|
|
|
if (event.get_button() == 1) {
|
|
|
|
this._inDrag = true;
|
|
|
|
let [handleX, handleY] = handle.get_transformed_position();
|
|
|
|
let [x, y] = event.get_coords();
|
|
|
|
this._dragX = x - handleX;
|
|
|
|
this._dragY = y - handleY;
|
|
|
|
Clutter.grab_pointer(handle);
|
|
|
|
}
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_handleReleased(handle, event) {
|
2010-03-05 17:20:56 -05:00
|
|
|
if (event.get_button() == 1) {
|
|
|
|
this._inDrag = false;
|
|
|
|
Clutter.ungrab_pointer(handle);
|
|
|
|
}
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_handleMotion(handle, event) {
|
2010-03-05 17:20:56 -05:00
|
|
|
if (this._inDrag) {
|
|
|
|
let [x, y] = event.get_coords();
|
2018-07-13 10:01:42 -04:00
|
|
|
let [actorX, actorY] = this.get_transformed_position();
|
2010-03-05 17:20:56 -05:00
|
|
|
this.width = x - this._dragX - actorX;
|
|
|
|
this.height = y - this._dragY - actorY;
|
2018-07-13 10:01:42 -04:00
|
|
|
this.queue_relayout();
|
2010-03-05 17:20:56 -05:00
|
|
|
}
|
|
|
|
}
|
2018-07-13 10:01:42 -04:00
|
|
|
});
|
2010-03-05 17:20:56 -05:00
|
|
|
|
|
|
|
/****************************************************************************/
|
|
|
|
|
2012-06-24 15:11:41 -04:00
|
|
|
function test() {
|
|
|
|
let stage = new Clutter.Stage({ width: 600, height: 600 });
|
|
|
|
UI.init(stage);
|
|
|
|
|
|
|
|
let mainBox = new St.BoxLayout({ width: stage.width,
|
|
|
|
height: stage.height,
|
|
|
|
vertical: true,
|
|
|
|
style: 'padding: 10px;'
|
|
|
|
+ 'spacing: 5px;'
|
|
|
|
+ 'font: 16px sans-serif;'
|
|
|
|
+ 'background: black;'
|
|
|
|
+ 'color: white;' });
|
|
|
|
stage.add_actor(mainBox);
|
|
|
|
|
|
|
|
const DOCS = 'Red lines represent minimum size, blue lines natural size. Drag yellow handle to resize ScrollView. Click on options to change.';
|
|
|
|
|
|
|
|
let docsLabel = new St.Label({ text: DOCS });
|
|
|
|
docsLabel.clutter_text.line_wrap = true;
|
|
|
|
mainBox.add(docsLabel);
|
|
|
|
|
|
|
|
let bin = new St.Bin({ x_fill: true, y_fill: true, style: 'border: 2px solid #666666;' });
|
|
|
|
mainBox.add(bin, { x_fill: true, y_fill: true, expand: true });
|
|
|
|
|
|
|
|
let illustrator = new SizingIllustrator();
|
2018-07-13 10:01:42 -04:00
|
|
|
bin.add_actor(illustrator);
|
2012-06-24 15:11:41 -04:00
|
|
|
|
|
|
|
let scrollView = new St.ScrollView();
|
|
|
|
illustrator.add(scrollView);
|
|
|
|
|
|
|
|
let box = new St.BoxLayout({ vertical: true });
|
|
|
|
scrollView.add_actor(box);
|
|
|
|
|
|
|
|
let flowedBoxes = new FlowedBoxes();
|
2018-07-13 10:01:42 -04:00
|
|
|
box.add(flowedBoxes, { expand: false, x_fill: true, y_fill: true });
|
2012-06-24 15:11:41 -04:00
|
|
|
|
|
|
|
let policyBox = new St.BoxLayout({ vertical: false });
|
|
|
|
mainBox.add(policyBox);
|
|
|
|
|
|
|
|
policyBox.add(new St.Label({ text: 'Horizontal Policy: ' }));
|
|
|
|
let hpolicy = new St.Button({ label: 'AUTOMATIC', style: 'text-decoration: underline; color: #4444ff;' });
|
|
|
|
policyBox.add(hpolicy);
|
|
|
|
|
|
|
|
let spacer = new St.Bin();
|
|
|
|
policyBox.add(spacer, { expand: true });
|
|
|
|
|
|
|
|
policyBox.add(new St.Label({ text: 'Vertical Policy: '}));
|
|
|
|
let vpolicy = new St.Button({ label: 'AUTOMATIC', style: 'text-decoration: underline; color: #4444ff;' });
|
|
|
|
policyBox.add(vpolicy);
|
|
|
|
|
|
|
|
function togglePolicy(button) {
|
|
|
|
switch(button.label) {
|
|
|
|
case 'AUTOMATIC':
|
|
|
|
button.label = 'ALWAYS';
|
|
|
|
break;
|
|
|
|
case 'ALWAYS':
|
|
|
|
button.label = 'NEVER';
|
|
|
|
break;
|
|
|
|
case 'NEVER':
|
2014-10-14 07:50:29 -04:00
|
|
|
button.label = 'EXTERNAL';
|
|
|
|
break;
|
|
|
|
case 'EXTERNAL':
|
2012-06-24 15:11:41 -04:00
|
|
|
button.label = 'AUTOMATIC';
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
scrollView.set_policy(Gtk.PolicyType[hpolicy.label], Gtk.PolicyType[vpolicy.label]);
|
2010-03-05 17:20:56 -05:00
|
|
|
}
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
hpolicy.connect('clicked', () => { togglePolicy(hpolicy); });
|
|
|
|
vpolicy.connect('clicked', () => { togglePolicy(vpolicy); });
|
2012-06-24 15:11:41 -04:00
|
|
|
|
|
|
|
let fadeBox = new St.BoxLayout({ vertical: false });
|
|
|
|
mainBox.add(fadeBox);
|
|
|
|
|
|
|
|
spacer = new St.Bin();
|
|
|
|
fadeBox.add(spacer, { expand: true });
|
|
|
|
|
|
|
|
fadeBox.add(new St.Label({ text: 'Padding: '}));
|
|
|
|
let paddingButton = new St.Button({ label: 'No', style: 'text-decoration: underline; color: #4444ff;padding-right:3px;' });
|
|
|
|
fadeBox.add(paddingButton);
|
|
|
|
|
|
|
|
fadeBox.add(new St.Label({ text: 'Borders: '}));
|
|
|
|
let borderButton = new St.Button({ label: 'No', style: 'text-decoration: underline; color: #4444ff;padding-right:3px;' });
|
|
|
|
fadeBox.add(borderButton);
|
|
|
|
|
|
|
|
fadeBox.add(new St.Label({ text: 'Vertical Fade: '}));
|
|
|
|
let vfade = new St.Button({ label: 'No', style: 'text-decoration: underline; color: #4444ff;' });
|
|
|
|
fadeBox.add(vfade);
|
|
|
|
|
2013-02-21 16:30:09 -05:00
|
|
|
fadeBox.add(new St.Label({ text: 'Overlay scrollbars: '}));
|
|
|
|
let overlay = new St.Button({ label: 'No', style: 'text-decoration: underline; color: #4444ff;' });
|
|
|
|
fadeBox.add(overlay);
|
|
|
|
|
2012-06-24 15:11:41 -04:00
|
|
|
function togglePadding(button) {
|
|
|
|
switch(button.label) {
|
|
|
|
case 'No':
|
|
|
|
button.label = 'Yes';
|
|
|
|
break;
|
|
|
|
case 'Yes':
|
|
|
|
button.label = 'No';
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (scrollView.style == null)
|
|
|
|
scrollView.style = (button.label == 'Yes' ? 'padding: 10px;' : 'padding: 0;');
|
|
|
|
else
|
|
|
|
scrollView.style += (button.label == 'Yes' ? 'padding: 10px;' : 'padding: 0;');
|
2011-09-16 15:03:26 -04:00
|
|
|
}
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
paddingButton.connect('clicked', () => { togglePadding(paddingButton); });
|
2012-06-24 15:11:41 -04:00
|
|
|
|
|
|
|
function toggleBorders(button) {
|
|
|
|
switch(button.label) {
|
|
|
|
case 'No':
|
|
|
|
button.label = 'Yes';
|
|
|
|
break;
|
|
|
|
case 'Yes':
|
|
|
|
button.label = 'No';
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (scrollView.style == null)
|
|
|
|
scrollView.style = (button.label == 'Yes' ? 'border: 2px solid red;' : 'border: 0;');
|
|
|
|
else
|
|
|
|
scrollView.style += (button.label == 'Yes' ? 'border: 2px solid red;' : 'border: 0;');
|
2011-09-16 15:03:26 -04:00
|
|
|
}
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
borderButton.connect('clicked', () => { toggleBorders(borderButton); });
|
2012-06-24 15:11:41 -04:00
|
|
|
|
|
|
|
function toggleFade(button) {
|
|
|
|
switch(button.label) {
|
|
|
|
case 'No':
|
|
|
|
button.label = 'Yes';
|
|
|
|
break;
|
|
|
|
case 'Yes':
|
|
|
|
button.label = 'No';
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
scrollView.set_style_class_name(button.label == 'Yes' ? 'vfade' : '');
|
2010-03-05 17:20:56 -05:00
|
|
|
}
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
vfade.connect('clicked', () => { toggleFade(vfade); });
|
2012-11-28 18:30:16 -05:00
|
|
|
toggleFade(vfade);
|
2010-03-05 17:20:56 -05:00
|
|
|
|
2013-02-21 16:30:09 -05:00
|
|
|
function toggleOverlay(button) {
|
|
|
|
switch(button.label) {
|
|
|
|
case 'No':
|
|
|
|
button.label = 'Yes';
|
|
|
|
break;
|
|
|
|
case 'Yes':
|
|
|
|
button.label = 'No';
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
scrollView.overlay_scrollbars = (button.label == 'Yes');
|
|
|
|
}
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
overlay.connect('clicked', () => { toggleOverlay(overlay); });
|
2013-02-21 16:30:09 -05:00
|
|
|
|
2012-06-24 15:11:41 -04:00
|
|
|
UI.main(stage);
|
|
|
|
}
|
|
|
|
test();
|