Commit e113efa8cad369752bbfa5d37437c63994904439

Add mousewheel on tab bar and alt+left/right.


61	61	window.select(); /* calls setActiveWindow */
62	62	document.title = window.name + " - " + this.options.appTitle;
63	63	},
	64	nextWindow: function(direction) {
	65	if(this.windowArray.length == 0 \|\| !this.active)
	66	return;
	67
	68	if(!direction)
	69	direction = 1;
	70
	71	var index = this.windowArray.indexOf(this.active);
	72	if(index == -1)
	73	return;
	74
	75	index = index + direction;
	76	if(index < 0) {
	77	index = this.windowArray.length - 1;
	78	} else if(index >= this.windowArray.length) {
	79	index = 0;
	80	}
	81
	82	this.selectWindow(this.windowArray[index]);
	83	},
	84	prevWindow: function() {
	85	this.nextWindow(-1);
	86	},
64	87	__closed: function(window) {
65	88	if(window.active) {
66	89	this.active = undefined;
…	…
150	150	return;
151	151
152	152	this.selectWindow(this.windowArray[number]);
	153	} else if(x.key == "left") {
	154	this.prevWindow();
	155	} else if(x.key == "right") {
	156	this.nextWindow();
153	157	}
154	158	}.bind(this));
155	159	},


23	23	this.input = this.qjsui.bottom;
24	24	this.reflow = this.qjsui.reflow.bind(this.qjsui);
25	25
	26	this.tabs.addEvent("mousewheel", function(x) {
	27	var event = new Event(x);
	28
	29	/* up */
	30	if(event.wheel > 0) {
	31	this.nextWindow();
	32	} else if(event.wheel < 0) {
	33	/* down */
	34	this.prevWindow();
	35	}
	36	event.stop();
	37	}.bind(this));
	38
26	39	this.createInput();
27	40	this.reflow();
28	41	},