var _infscroll_request_sent = 0;
var feed_under_pointer = undefined;
+var enable_resize = false;
+
function viewCategory(cat) {
active_feed_is_cat = true;
viewfeed(cat, '', true);
}
- if (mouse_is_down) {
+ if (mouse_is_down && enable_resize) {
if (mouse_y == 0) mouse_y = client_y;
if (mouse_x == 0) mouse_x = client_x;
}
}
+function resize_enabled(b) {
+ enable_resize = b;
+}
+
function mouse_down_handler(e) {
try {
-
mouse_is_down = true;
-
} catch (e) {
exception_error("mouse_move_handler", e);
}
function mouse_up_handler(e) {
try {
-
mouse_is_down = false;
-
} catch (e) {
exception_error("mouse_move_handler", e);
}
<div id="headlines-frame" class="headlines_normal">
<div class="whiteBox"><?php echo __('No feed selected.') ?></div></div>
<div id="content-frame"><div class="whiteBox"> </div></div>
- <div id="resize-grabber" title="<?php echo __('Drag me to resize panels') ?>"> </div>
+ <div id="resize-grabber"
+ onmouseover="resize_enabled(true)" onmouseout="resize_enabled(false)"
+ title="<?php echo __('Drag me to resize panels') ?>"> </div>
<?php } else { ?>
<div id="headlines-frame" class="headlines_cdm">
<div class="whiteBox"><?php echo __('No feed selected.') ?></div></div>