add vertical resize grip (3)

master
Andrew Dolgov 17 years ago
parent dee4a40918
commit 91cdbe5235

@ -3,6 +3,8 @@ var _infscroll_disable = 0;
var _infscroll_request_sent = 0; var _infscroll_request_sent = 0;
var feed_under_pointer = undefined; var feed_under_pointer = undefined;
var enable_resize = false;
function viewCategory(cat) { function viewCategory(cat) {
active_feed_is_cat = true; active_feed_is_cat = true;
viewfeed(cat, '', true); viewfeed(cat, '', true);
@ -479,7 +481,7 @@ function mouse_move_handler(e) {
} }
if (mouse_is_down) { if (mouse_is_down && enable_resize) {
if (mouse_y == 0) mouse_y = client_y; if (mouse_y == 0) mouse_y = client_y;
if (mouse_x == 0) mouse_x = client_x; if (mouse_x == 0) mouse_x = client_x;
@ -493,11 +495,13 @@ function mouse_move_handler(e) {
} }
} }
function resize_enabled(b) {
enable_resize = b;
}
function mouse_down_handler(e) { function mouse_down_handler(e) {
try { try {
mouse_is_down = true; mouse_is_down = true;
} catch (e) { } catch (e) {
exception_error("mouse_move_handler", e); exception_error("mouse_move_handler", e);
} }
@ -505,9 +509,7 @@ function mouse_down_handler(e) {
function mouse_up_handler(e) { function mouse_up_handler(e) {
try { try {
mouse_is_down = false; mouse_is_down = false;
} catch (e) { } catch (e) {
exception_error("mouse_move_handler", e); exception_error("mouse_move_handler", e);
} }

@ -239,7 +239,9 @@ window.onload = init;
<div id="headlines-frame" class="headlines_normal"> <div id="headlines-frame" class="headlines_normal">
<div class="whiteBox"><?php echo __('No feed selected.') ?></div></div> <div class="whiteBox"><?php echo __('No feed selected.') ?></div></div>
<div id="content-frame"><div class="whiteBox">&nbsp;</div></div> <div id="content-frame"><div class="whiteBox">&nbsp;</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 { ?> <?php } else { ?>
<div id="headlines-frame" class="headlines_cdm"> <div id="headlines-frame" class="headlines_cdm">
<div class="whiteBox"><?php echo __('No feed selected.') ?></div></div> <div class="whiteBox"><?php echo __('No feed selected.') ?></div></div>

Loading…
Cancel
Save