this.reflow = this.qjsui.reflow.bind(this.qjsui);
this.tabs.addEvent("mousewheel", function(x) {
- if(this.sideTabs)
- return;
-
var event = new Event(x);
+ var up, down;
+ if(this.sideTabs) {
+ var p = this.qjsui.left;
+
+ /* don't scroll if we're scrollable */
+ if(p.getScrollSize().y > p.clientHeight)
+ return;
+
+ up = event.wheel < 0;
+ down = event.wheel > 0;
+ } else {
+ up = event.wheel > 0;
+ down = event.wheel < 0;
+ }
- /* up */
- if(event.wheel > 0) {
+ if(up) {
this.nextWindow();
- } else if(event.wheel < 0) {
- /* down */
+ } else if(down) {
this.prevWindow();
}
event.stop();
var docsize = this.sizer.getSize();
var mheight = (docsize.y - topsize.y - bottomsize.y - topicsize.y);
- var mwidth = (docsize.x - rightsize.x);
+ var mwidth = (docsize.x - rightsize.x - leftsize.x);
left.setStyle("top", topsize.y);
topic.setStyle("top", topsize.y);