2017-01-02 08:07:46 +01:00
|
|
|
// File: fscrollview.cpp
|
|
|
|
// Provides: class FScrollView
|
|
|
|
|
|
|
|
#include "fscrollview.h"
|
|
|
|
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
// class FScrollView
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
|
|
|
|
// constructors and destructor
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
FScrollView::FScrollView (FWidget* parent)
|
|
|
|
: FWidget(parent)
|
|
|
|
, scroll_size(1,1,1,1)
|
|
|
|
, scroll_offset()
|
|
|
|
, viewport(0)
|
|
|
|
, vbar(0)
|
|
|
|
, hbar(0)
|
|
|
|
, nf_offset(0)
|
2017-01-03 05:19:44 +01:00
|
|
|
, use_own_print_area(false)
|
|
|
|
, vMode(fc::Auto)
|
|
|
|
, hMode(fc::Auto)
|
2017-01-02 08:07:46 +01:00
|
|
|
{
|
|
|
|
init();
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
FScrollView::~FScrollView() // destructor
|
|
|
|
{
|
|
|
|
delete vbar;
|
|
|
|
delete hbar;
|
|
|
|
removeArea (viewport);
|
2017-01-07 22:09:09 +01:00
|
|
|
child_print_area = viewport = 0;
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// public methods of FScrollView
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setScrollWidth (int width)
|
|
|
|
{
|
|
|
|
if ( width < getClientWidth() )
|
|
|
|
width = getClientWidth();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
if ( getScrollWidth() == width )
|
2017-01-02 08:07:46 +01:00
|
|
|
return;
|
|
|
|
|
|
|
|
if ( viewport )
|
|
|
|
{
|
|
|
|
FPoint no_shadow(0,0);
|
|
|
|
scroll_size.setWidth (width);
|
|
|
|
resizeArea (scroll_size, no_shadow, viewport);
|
2017-01-15 19:48:27 +01:00
|
|
|
setPreprocessingHandler
|
|
|
|
(
|
|
|
|
_PREPROC_HANDLER (this, &FScrollView::copy2area)
|
|
|
|
);
|
2017-01-07 22:09:09 +01:00
|
|
|
child_print_area = viewport;
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
hbar->setMaximum (width - getClientWidth());
|
|
|
|
hbar->setPageSize (width, getClientWidth());
|
|
|
|
hbar->calculateSliderValues();
|
2017-01-03 05:19:44 +01:00
|
|
|
setHorizontalScrollBarVisibility();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setScrollHeight (int height)
|
|
|
|
{
|
|
|
|
if ( height < getClientHeight() )
|
|
|
|
height = getClientHeight();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
if ( getScrollHeight() == height )
|
2017-01-02 08:07:46 +01:00
|
|
|
return;
|
|
|
|
|
|
|
|
if ( viewport )
|
|
|
|
{
|
|
|
|
FPoint no_shadow(0,0);
|
|
|
|
scroll_size.setHeight (height);
|
|
|
|
resizeArea (scroll_size, no_shadow, viewport);
|
2017-01-15 19:48:27 +01:00
|
|
|
setPreprocessingHandler
|
|
|
|
(
|
|
|
|
_PREPROC_HANDLER (this, &FScrollView::copy2area)
|
|
|
|
);
|
2017-01-07 22:09:09 +01:00
|
|
|
child_print_area = viewport;
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
vbar->setMaximum (height - getClientHeight());
|
|
|
|
vbar->setPageSize (height, getClientHeight());
|
|
|
|
vbar->calculateSliderValues();
|
2017-01-03 05:19:44 +01:00
|
|
|
setVerticalScrollBarVisibility();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setScrollSize (int width, int height)
|
|
|
|
{
|
|
|
|
if ( width < getClientWidth() )
|
|
|
|
width = getClientWidth();
|
|
|
|
|
|
|
|
if ( height < getClientHeight() )
|
|
|
|
height = getClientHeight();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
if ( getScrollWidth() == width && getScrollHeight() == height )
|
2017-01-02 08:07:46 +01:00
|
|
|
return;
|
|
|
|
|
|
|
|
if ( viewport )
|
|
|
|
{
|
|
|
|
FPoint no_shadow(0,0);
|
|
|
|
scroll_size.setSize (width, height);
|
|
|
|
resizeArea (scroll_size, no_shadow, viewport);
|
2017-01-15 19:48:27 +01:00
|
|
|
setPreprocessingHandler
|
|
|
|
(
|
|
|
|
_PREPROC_HANDLER (this, &FScrollView::copy2area)
|
|
|
|
);
|
2017-01-07 22:09:09 +01:00
|
|
|
child_print_area = viewport;
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
hbar->setMaximum (width - getClientWidth());
|
|
|
|
hbar->setPageSize (width, getClientWidth());
|
|
|
|
hbar->calculateSliderValues();
|
2017-01-03 05:19:44 +01:00
|
|
|
setHorizontalScrollBarVisibility();
|
2017-01-02 08:07:46 +01:00
|
|
|
|
|
|
|
vbar->setMaximum (height - getClientHeight());
|
|
|
|
vbar->setPageSize (height, getClientHeight());
|
|
|
|
vbar->calculateSliderValues();
|
2017-01-03 05:19:44 +01:00
|
|
|
setVerticalScrollBarVisibility();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setX (int x, bool adjust)
|
|
|
|
{
|
|
|
|
FWidget::setX (x, adjust);
|
2017-01-03 05:19:44 +01:00
|
|
|
|
|
|
|
if ( ! adjust )
|
|
|
|
{
|
2017-01-07 22:09:09 +01:00
|
|
|
scroll_size.setX (getTermX() + getLeftPadding() - 1);
|
2017-01-03 05:19:44 +01:00
|
|
|
|
|
|
|
if ( viewport )
|
|
|
|
{
|
2017-01-15 19:48:27 +01:00
|
|
|
viewport->offset_top = scroll_size.getX();
|
|
|
|
viewport->offset_left = scroll_size.getY();
|
2017-01-03 05:19:44 +01:00
|
|
|
}
|
|
|
|
}
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setY (int y, bool adjust)
|
|
|
|
{
|
|
|
|
FWidget::setY (y, adjust);
|
2017-01-03 05:19:44 +01:00
|
|
|
|
|
|
|
if ( ! adjust )
|
|
|
|
{
|
2017-01-07 22:09:09 +01:00
|
|
|
scroll_size.setY (getTermY() + getTopPadding() - 1);
|
2017-01-03 05:19:44 +01:00
|
|
|
|
|
|
|
if ( viewport )
|
|
|
|
{
|
2017-01-15 19:48:27 +01:00
|
|
|
viewport->offset_top = scroll_size.getX();
|
|
|
|
viewport->offset_left = scroll_size.getY();
|
2017-01-03 05:19:44 +01:00
|
|
|
}
|
|
|
|
}
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setPos (int x, int y, bool adjust)
|
|
|
|
{
|
|
|
|
FWidget::setPos (x, y, adjust);
|
2017-01-07 22:09:09 +01:00
|
|
|
scroll_size.setPos ( getTermX() + getLeftPadding() - 1
|
|
|
|
, getTermY() + getTopPadding() - 1 );
|
2017-01-03 05:19:44 +01:00
|
|
|
|
|
|
|
if ( ! adjust )
|
|
|
|
{
|
|
|
|
if ( viewport )
|
|
|
|
{
|
2017-01-15 19:48:27 +01:00
|
|
|
viewport->offset_top = scroll_size.getX();
|
|
|
|
viewport->offset_left = scroll_size.getY();
|
2017-01-03 05:19:44 +01:00
|
|
|
}
|
|
|
|
}
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setWidth (int w, bool adjust)
|
|
|
|
{
|
|
|
|
FWidget::setWidth (w, adjust);
|
|
|
|
calculateScrollbarPos();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
if ( getScrollWidth() < getClientWidth() )
|
2017-01-02 08:07:46 +01:00
|
|
|
setScrollWidth (getClientWidth());
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setHeight (int h, bool adjust)
|
|
|
|
{
|
|
|
|
FWidget::setHeight (h, adjust);
|
|
|
|
calculateScrollbarPos();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
if ( getScrollHeight() < getClientHeight() )
|
2017-01-02 08:07:46 +01:00
|
|
|
setScrollHeight (getClientHeight());
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setSize (int w, int h, bool adjust)
|
|
|
|
{
|
|
|
|
FWidget::setSize (w, h, adjust);
|
|
|
|
calculateScrollbarPos();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
if ( getScrollWidth() < getClientWidth()
|
|
|
|
|| getScrollHeight() < getClientHeight() )
|
2017-01-02 08:07:46 +01:00
|
|
|
setScrollSize (getClientWidth(), getClientHeight());
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setGeometry (int x, int y, int w, int h, bool adjust)
|
|
|
|
{
|
|
|
|
FWidget::setGeometry (x, y, w, h, adjust);
|
2017-01-07 22:09:09 +01:00
|
|
|
scroll_size.setPos ( getTermX() + getLeftPadding() - 1
|
|
|
|
, getTermY() + getTopPadding() - 1 );
|
2017-01-02 08:07:46 +01:00
|
|
|
calculateScrollbarPos();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
if ( getScrollWidth() < getClientWidth()
|
|
|
|
|| getScrollHeight() < getClientHeight() )
|
|
|
|
{
|
2017-01-02 08:07:46 +01:00
|
|
|
setScrollSize (getClientWidth(), getClientHeight());
|
2017-01-03 05:19:44 +01:00
|
|
|
}
|
|
|
|
else if ( ! adjust && viewport )
|
|
|
|
{
|
2017-01-15 19:48:27 +01:00
|
|
|
viewport->offset_top = scroll_size.getX();
|
|
|
|
viewport->offset_left = scroll_size.getY();
|
2017-01-03 05:19:44 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-01-07 22:09:09 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setPrintPos (register int x, register int y)
|
|
|
|
{
|
|
|
|
FWidget::setPrintPos (x + getLeftPadding(), y + getTopPadding());
|
|
|
|
}
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setHorizontalScrollBarMode (fc::scrollBarMode mode)
|
|
|
|
{
|
|
|
|
hMode = mode;
|
|
|
|
setHorizontalScrollBarVisibility();
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setVerticalScrollBarMode (fc::scrollBarMode mode)
|
|
|
|
{
|
|
|
|
vMode = mode;
|
|
|
|
setVerticalScrollBarVisibility();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::clearArea (int fillchar)
|
|
|
|
{
|
|
|
|
if ( viewport )
|
|
|
|
clearArea (viewport, fillchar);
|
|
|
|
}
|
|
|
|
|
2017-01-07 22:09:09 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::scrollToX (int x)
|
|
|
|
{
|
|
|
|
scrollTo (x, scroll_offset.getY());
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::scrollToY (int y)
|
|
|
|
{
|
|
|
|
scrollTo (scroll_offset.getX(), y);
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::scrollTo (int x, int y)
|
|
|
|
{
|
|
|
|
short& xoffset = scroll_offset.x_ref();
|
|
|
|
short& yoffset = scroll_offset.y_ref();
|
|
|
|
short xoffset_end = short(getScrollWidth() - getClientWidth());
|
|
|
|
short yoffset_end = short(getScrollHeight() - getClientHeight());
|
|
|
|
|
|
|
|
if ( xoffset == short(x) && yoffset == short(y) )
|
|
|
|
return;
|
|
|
|
|
|
|
|
xoffset = short(x);
|
|
|
|
yoffset = short(y);
|
|
|
|
|
|
|
|
if ( yoffset < 0 )
|
|
|
|
yoffset = 0;
|
|
|
|
|
|
|
|
if ( yoffset > yoffset_end )
|
|
|
|
yoffset = yoffset_end;
|
|
|
|
|
|
|
|
if ( xoffset < 0 )
|
|
|
|
xoffset = 0;
|
|
|
|
|
|
|
|
if ( xoffset > xoffset_end )
|
|
|
|
xoffset = xoffset_end;
|
|
|
|
|
|
|
|
hbar->setValue (xoffset);
|
|
|
|
vbar->setValue (yoffset);
|
|
|
|
drawHBar();
|
|
|
|
drawVBar();
|
|
|
|
viewport->has_changes = true;
|
|
|
|
copy2area();
|
|
|
|
updateTerminal();
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::scrollBy (int dx, int dy)
|
|
|
|
{
|
|
|
|
scrollTo (getScrollX() + dx, getScrollY() + dy);
|
|
|
|
}
|
|
|
|
|
2017-01-02 08:07:46 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::draw()
|
|
|
|
{
|
2017-01-03 05:19:44 +01:00
|
|
|
use_own_print_area = true;
|
2017-01-02 08:07:46 +01:00
|
|
|
|
|
|
|
if ( FWidget* p = getParentWidget() )
|
|
|
|
setColor (p->getForegroundColor(), p->getBackgroundColor());
|
|
|
|
else
|
2017-01-15 19:48:27 +01:00
|
|
|
setColor();
|
2017-01-02 08:07:46 +01:00
|
|
|
|
|
|
|
if ( isNewFont() )
|
|
|
|
drawBorder (1, 1, getWidth() - 1, getHeight());
|
|
|
|
else
|
|
|
|
drawBorder();
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
use_own_print_area = false;
|
2017-01-02 08:07:46 +01:00
|
|
|
copy2area();
|
2017-01-07 22:09:09 +01:00
|
|
|
redrawVBar();
|
|
|
|
redrawHBar();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
2017-01-03 19:02:04 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::onKeyPress (FKeyEvent* ev)
|
|
|
|
{
|
|
|
|
int key = ev->key();
|
|
|
|
bool hasChanges = false;
|
|
|
|
short& xoffset = scroll_offset.x_ref();
|
|
|
|
short& yoffset = scroll_offset.y_ref();
|
|
|
|
short xoffset_before = xoffset;
|
|
|
|
short yoffset_before = yoffset;
|
|
|
|
short xoffset_end = short(getScrollWidth() - getClientWidth());
|
|
|
|
short yoffset_end = short(getScrollHeight() - getClientHeight());
|
|
|
|
|
|
|
|
switch ( key )
|
|
|
|
{
|
|
|
|
case fc::Fkey_up:
|
|
|
|
if ( yoffset > 0 )
|
|
|
|
yoffset--;
|
|
|
|
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Fkey_down:
|
|
|
|
if ( yoffset < yoffset_end )
|
|
|
|
yoffset++;
|
|
|
|
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Fkey_left:
|
|
|
|
if ( xoffset > 0 )
|
|
|
|
xoffset--;
|
|
|
|
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Fkey_right:
|
|
|
|
if ( xoffset < xoffset_end )
|
|
|
|
xoffset++;
|
|
|
|
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Fkey_ppage:
|
|
|
|
yoffset -= getClientHeight();
|
|
|
|
|
|
|
|
if ( yoffset < 0 )
|
|
|
|
yoffset = 0;
|
|
|
|
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Fkey_npage:
|
|
|
|
yoffset += getClientHeight();
|
|
|
|
|
|
|
|
if ( yoffset > yoffset_end )
|
|
|
|
yoffset = yoffset_end;
|
|
|
|
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Fkey_home:
|
|
|
|
yoffset = 0;
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Fkey_end:
|
|
|
|
yoffset = yoffset_end;
|
|
|
|
ev->accept();
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ( ev->isAccepted() )
|
|
|
|
{
|
|
|
|
if ( isVisible() && viewport
|
|
|
|
&& (xoffset_before != xoffset || yoffset_before != yoffset) )
|
|
|
|
{
|
|
|
|
viewport->has_changes = true;
|
|
|
|
copy2area();
|
|
|
|
hasChanges = true;
|
|
|
|
vbar->setValue (yoffset);
|
|
|
|
hbar->setValue (xoffset);
|
2017-01-07 22:09:09 +01:00
|
|
|
drawVBar();
|
|
|
|
drawHBar();
|
2017-01-03 19:02:04 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if ( hasChanges )
|
|
|
|
updateTerminal();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-01-02 08:07:46 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::onWheel (FWheelEvent* ev)
|
|
|
|
{
|
2017-01-03 19:02:04 +01:00
|
|
|
bool hasChanges = false;
|
|
|
|
short& yoffset = scroll_offset.y_ref();
|
|
|
|
short yoffset_before = yoffset;
|
|
|
|
int wheel = ev->getWheel();
|
2017-01-02 08:07:46 +01:00
|
|
|
|
|
|
|
switch ( wheel )
|
|
|
|
{
|
|
|
|
case fc::WheelUp:
|
|
|
|
if ( yoffset == 0 )
|
|
|
|
break;
|
|
|
|
|
|
|
|
yoffset -= 4;
|
|
|
|
|
|
|
|
if ( yoffset < 0 )
|
|
|
|
yoffset=0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::WheelDown:
|
|
|
|
{
|
2017-01-03 19:02:04 +01:00
|
|
|
short yoffset_end = short(getScrollHeight() - getClientHeight());
|
2017-01-02 08:07:46 +01:00
|
|
|
|
|
|
|
if ( yoffset_end < 0 )
|
|
|
|
yoffset_end = 0;
|
|
|
|
|
|
|
|
if ( yoffset == yoffset_end )
|
|
|
|
break;
|
|
|
|
|
|
|
|
yoffset += 4;
|
|
|
|
|
|
|
|
if ( yoffset > yoffset_end )
|
|
|
|
yoffset = yoffset_end;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2017-01-03 19:02:04 +01:00
|
|
|
if ( isVisible() && viewport && yoffset_before != yoffset )
|
2017-01-02 08:07:46 +01:00
|
|
|
{
|
2017-01-03 19:02:04 +01:00
|
|
|
viewport->has_changes = true;
|
2017-01-02 08:07:46 +01:00
|
|
|
copy2area();
|
2017-01-03 19:02:04 +01:00
|
|
|
hasChanges = true;
|
|
|
|
vbar->setValue (yoffset);
|
2017-01-07 22:09:09 +01:00
|
|
|
drawVBar();
|
2017-01-03 19:02:04 +01:00
|
|
|
}
|
2017-01-02 08:07:46 +01:00
|
|
|
|
2017-01-03 19:02:04 +01:00
|
|
|
if ( hasChanges )
|
|
|
|
updateTerminal();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// protected methods of FScrollView
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
FVTerm::term_area* FScrollView::getPrintArea()
|
|
|
|
{
|
2017-01-07 22:09:09 +01:00
|
|
|
// returns print area or viewport
|
2017-01-02 08:07:46 +01:00
|
|
|
|
2017-01-07 22:09:09 +01:00
|
|
|
if ( use_own_print_area || ! viewport )
|
|
|
|
{
|
|
|
|
child_print_area = 0;
|
|
|
|
term_area* area = FVTerm::getPrintArea();
|
|
|
|
child_print_area = viewport;
|
|
|
|
return area;
|
|
|
|
}
|
2017-01-02 08:07:46 +01:00
|
|
|
else
|
2017-01-07 22:09:09 +01:00
|
|
|
return viewport;
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::adjustSize()
|
|
|
|
{
|
|
|
|
FWidget::adjustSize();
|
|
|
|
int width = getWidth();
|
|
|
|
int height = getHeight();
|
|
|
|
int xoffset = scroll_offset.getX();
|
|
|
|
int yoffset = scroll_offset.getY();
|
|
|
|
|
2017-01-07 22:09:09 +01:00
|
|
|
scroll_size.setPos ( getTermX() + getLeftPadding() - 1
|
|
|
|
, getTermY() + getTopPadding() - 1 );
|
2017-01-03 05:19:44 +01:00
|
|
|
|
|
|
|
if ( viewport )
|
|
|
|
{
|
2017-01-15 19:48:27 +01:00
|
|
|
viewport->offset_top = scroll_size.getX();
|
|
|
|
viewport->offset_left = scroll_size.getY();
|
2017-01-03 05:19:44 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
hbar->setMaximum (getScrollWidth() - getClientWidth());
|
|
|
|
hbar->setPageSize (getScrollWidth(), getClientWidth());
|
2017-01-02 08:07:46 +01:00
|
|
|
hbar->setY (height);
|
|
|
|
hbar->setWidth (width - 2, false);
|
|
|
|
hbar->setValue (xoffset);
|
|
|
|
hbar->resize();
|
2017-01-03 05:19:44 +01:00
|
|
|
setHorizontalScrollBarVisibility();
|
2017-01-02 08:07:46 +01:00
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
vbar->setMaximum (getScrollHeight() - getClientHeight());
|
|
|
|
vbar->setPageSize (getScrollHeight(), getClientHeight());
|
2017-01-02 08:07:46 +01:00
|
|
|
vbar->setX (width);
|
|
|
|
vbar->setHeight (height - 2, false);
|
|
|
|
vbar->setValue (yoffset);
|
|
|
|
vbar->resize();
|
2017-01-03 05:19:44 +01:00
|
|
|
setVerticalScrollBarVisibility();
|
|
|
|
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::copy2area()
|
|
|
|
{
|
|
|
|
// copy viewport to area
|
|
|
|
|
|
|
|
int ax, ay, dx, dy, y_end, x_end;
|
|
|
|
char_data* vc; // viewport character
|
|
|
|
char_data* ac; // area character
|
|
|
|
|
|
|
|
if ( ! print_area )
|
|
|
|
FVTerm::getPrintArea();
|
|
|
|
|
|
|
|
if ( ! (print_area && viewport) )
|
|
|
|
return;
|
|
|
|
|
|
|
|
if ( ! viewport->has_changes )
|
|
|
|
return;
|
|
|
|
|
2017-01-15 19:48:27 +01:00
|
|
|
ax = getTermX() - print_area->offset_top;
|
|
|
|
ay = getTermY() - print_area->offset_left;
|
2017-01-02 08:07:46 +01:00
|
|
|
dx = scroll_offset.getX();
|
|
|
|
dy = scroll_offset.getY();
|
|
|
|
y_end = getClientHeight();
|
|
|
|
x_end = getClientWidth();
|
|
|
|
|
|
|
|
for (int y=0; y < y_end; y++) // line loop
|
|
|
|
{
|
|
|
|
int v_line_len = viewport->width;
|
|
|
|
int a_line_len = print_area->width + print_area->right_shadow;
|
|
|
|
vc = &viewport->text[(dy+y) * v_line_len + dx];
|
|
|
|
ac = &print_area->text[(ay+y) * a_line_len + ax];
|
|
|
|
std::memcpy (ac, vc, sizeof(char_data) * unsigned(x_end));
|
|
|
|
|
|
|
|
if ( short(print_area->changes[ay+y].xmin) > ax )
|
|
|
|
print_area->changes[ay+y].xmin = uInt(ax);
|
|
|
|
|
|
|
|
if ( short(print_area->changes[ay+y].xmax) < ax+x_end-1 )
|
|
|
|
print_area->changes[ay+y].xmax = uInt(ax+x_end-1);
|
|
|
|
}
|
|
|
|
|
|
|
|
viewport->has_changes = false;
|
|
|
|
print_area->has_changes = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// private methods of FScrollView
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::init()
|
|
|
|
{
|
2017-01-15 19:48:27 +01:00
|
|
|
setForegroundColor (wc.dialog_fg);
|
|
|
|
setBackgroundColor (wc.dialog_bg);
|
|
|
|
|
2017-01-02 08:07:46 +01:00
|
|
|
vbar = new FScrollbar(fc::vertical, this);
|
|
|
|
vbar->setMinimum(0);
|
|
|
|
vbar->setValue(0);
|
|
|
|
vbar->hide();
|
|
|
|
|
|
|
|
hbar = new FScrollbar(fc::horizontal, this);
|
|
|
|
hbar->setMinimum(0);
|
|
|
|
hbar->setValue(0);
|
|
|
|
hbar->hide();
|
|
|
|
|
|
|
|
vbar->addCallback
|
|
|
|
(
|
|
|
|
"change-value",
|
|
|
|
_METHOD_CALLBACK (this, &FScrollView::cb_VBarChange)
|
|
|
|
);
|
2017-01-15 19:48:27 +01:00
|
|
|
|
2017-01-02 08:07:46 +01:00
|
|
|
hbar->addCallback
|
|
|
|
(
|
|
|
|
"change-value",
|
|
|
|
_METHOD_CALLBACK (this, &FScrollView::cb_HBarChange)
|
|
|
|
);
|
|
|
|
|
|
|
|
nf_offset = isNewFont() ? 1 : 0;
|
|
|
|
setTopPadding(1);
|
|
|
|
setLeftPadding(1);
|
|
|
|
setBottomPadding(1);
|
|
|
|
setRightPadding(1 + nf_offset);
|
|
|
|
|
|
|
|
FPoint no_shadow(0,0);
|
2017-01-07 22:09:09 +01:00
|
|
|
scroll_size.setRect (1, 1, getClientWidth(), getClientHeight());
|
2017-01-02 08:07:46 +01:00
|
|
|
createArea (scroll_size, no_shadow, viewport);
|
2017-01-15 19:48:27 +01:00
|
|
|
setPreprocessingHandler
|
|
|
|
(
|
|
|
|
_PREPROC_HANDLER (this, &FScrollView::copy2area)
|
|
|
|
);
|
2017-01-07 22:09:09 +01:00
|
|
|
|
|
|
|
if ( viewport )
|
|
|
|
child_print_area = viewport;
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::calculateScrollbarPos()
|
|
|
|
{
|
|
|
|
int width = getWidth();
|
|
|
|
int height = getHeight();
|
|
|
|
|
|
|
|
if ( isNewFont() )
|
|
|
|
{
|
|
|
|
vbar->setGeometry (width, 2, 2, height-2);
|
|
|
|
hbar->setGeometry (1, height, width-2, 1);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
vbar->setGeometry (width, 2, 1, height-2);
|
|
|
|
hbar->setGeometry (2, height, width-2, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
setRightPadding (1 + nf_offset);
|
|
|
|
vbar->resize();
|
|
|
|
hbar->resize();
|
|
|
|
}
|
|
|
|
|
2017-01-03 05:19:44 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setHorizontalScrollBarVisibility()
|
|
|
|
{
|
|
|
|
switch ( hMode )
|
|
|
|
{
|
|
|
|
case fc::Auto:
|
|
|
|
if ( getScrollWidth() > getClientWidth() )
|
|
|
|
hbar->setVisible();
|
|
|
|
else
|
|
|
|
hbar->hide();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Hidden:
|
|
|
|
hbar->hide();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Scroll:
|
|
|
|
hbar->setVisible();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::setVerticalScrollBarVisibility()
|
|
|
|
{
|
|
|
|
switch ( vMode )
|
|
|
|
{
|
|
|
|
case fc::Auto:
|
|
|
|
if ( getScrollHeight() > getClientHeight() )
|
|
|
|
vbar->setVisible();
|
|
|
|
else
|
|
|
|
vbar->hide();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Hidden:
|
|
|
|
vbar->hide();
|
|
|
|
break;
|
|
|
|
|
|
|
|
case fc::Scroll:
|
|
|
|
vbar->setVisible();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-01-02 08:07:46 +01:00
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::cb_VBarChange (FWidget*, void*)
|
|
|
|
{
|
|
|
|
FScrollbar::sType scrollType;
|
2017-01-03 19:02:04 +01:00
|
|
|
bool hasChanges = false;
|
|
|
|
short distance = 1;
|
|
|
|
short& yoffset = scroll_offset.y_ref();
|
|
|
|
short yoffset_before = yoffset;
|
|
|
|
short yoffset_end = short(getScrollHeight() - getClientHeight());
|
2017-01-02 08:07:46 +01:00
|
|
|
scrollType = vbar->getScrollType();
|
|
|
|
|
|
|
|
switch ( scrollType )
|
|
|
|
{
|
|
|
|
case FScrollbar::noScroll:
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollPageBackward:
|
2017-01-03 19:02:04 +01:00
|
|
|
distance = short(getClientHeight());
|
2017-01-02 08:07:46 +01:00
|
|
|
// fall through
|
|
|
|
case FScrollbar::scrollStepBackward:
|
|
|
|
yoffset -= distance;
|
|
|
|
|
|
|
|
if ( yoffset < 0 )
|
|
|
|
yoffset = 0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollPageForward:
|
2017-01-03 19:02:04 +01:00
|
|
|
distance = short(getClientHeight());
|
2017-01-02 08:07:46 +01:00
|
|
|
// fall through
|
|
|
|
case FScrollbar::scrollStepForward:
|
|
|
|
yoffset += distance;
|
|
|
|
|
|
|
|
if ( yoffset > yoffset_end )
|
|
|
|
yoffset = yoffset_end;
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollJump:
|
|
|
|
{
|
2017-01-03 19:02:04 +01:00
|
|
|
short val = short(vbar->getValue());
|
2017-01-02 08:07:46 +01:00
|
|
|
|
|
|
|
if ( yoffset == val )
|
|
|
|
break;
|
|
|
|
|
|
|
|
yoffset = val;
|
|
|
|
|
|
|
|
if ( yoffset > yoffset_end )
|
|
|
|
yoffset = yoffset_end;
|
|
|
|
|
|
|
|
if ( yoffset < 0 )
|
|
|
|
yoffset = 0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
case FScrollbar::scrollWheelUp:
|
|
|
|
if ( yoffset == 0 )
|
|
|
|
break;
|
|
|
|
|
|
|
|
yoffset -= 4;
|
|
|
|
|
|
|
|
if ( yoffset < 0 )
|
|
|
|
yoffset=0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollWheelDown:
|
|
|
|
if ( yoffset_end < 0 )
|
|
|
|
yoffset_end = 0;
|
|
|
|
|
|
|
|
if ( yoffset == yoffset_end )
|
|
|
|
break;
|
|
|
|
|
|
|
|
yoffset += 4;
|
|
|
|
|
|
|
|
if ( yoffset > yoffset_end )
|
|
|
|
yoffset = yoffset_end;
|
|
|
|
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2017-01-03 19:02:04 +01:00
|
|
|
if ( isVisible() && viewport && yoffset_before != yoffset )
|
2017-01-02 08:07:46 +01:00
|
|
|
{
|
2017-01-03 19:02:04 +01:00
|
|
|
viewport->has_changes = true;
|
2017-01-02 08:07:46 +01:00
|
|
|
copy2area();
|
|
|
|
hasChanges = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ( scrollType >= FScrollbar::scrollStepBackward
|
2017-01-03 19:02:04 +01:00
|
|
|
&& scrollType <= FScrollbar::scrollWheelDown
|
|
|
|
&& hasChanges )
|
2017-01-02 08:07:46 +01:00
|
|
|
{
|
|
|
|
vbar->setValue (yoffset);
|
2017-01-07 22:09:09 +01:00
|
|
|
drawVBar();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if ( hasChanges )
|
|
|
|
updateTerminal();
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
void FScrollView::cb_HBarChange (FWidget*, void*)
|
|
|
|
{
|
|
|
|
FScrollbar::sType scrollType;
|
2017-01-03 19:02:04 +01:00
|
|
|
bool hasChanges = false;
|
|
|
|
short distance = 1;
|
|
|
|
short& xoffset = scroll_offset.x_ref();
|
|
|
|
short xoffset_before = xoffset;
|
|
|
|
short xoffset_end = short(getScrollWidth() - getClientWidth());
|
2017-01-02 08:07:46 +01:00
|
|
|
scrollType = hbar->getScrollType();
|
|
|
|
|
|
|
|
switch ( scrollType )
|
|
|
|
{
|
|
|
|
case FScrollbar::noScroll:
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollPageBackward:
|
2017-01-03 19:02:04 +01:00
|
|
|
distance = short(getClientWidth());
|
2017-01-02 08:07:46 +01:00
|
|
|
// fall through
|
|
|
|
case FScrollbar::scrollStepBackward:
|
|
|
|
xoffset -= distance;
|
|
|
|
|
|
|
|
if ( xoffset < 0 )
|
|
|
|
xoffset = 0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollPageForward:
|
2017-01-03 19:02:04 +01:00
|
|
|
distance = short(getClientWidth());
|
2017-01-02 08:07:46 +01:00
|
|
|
// fall through
|
|
|
|
case FScrollbar::scrollStepForward:
|
|
|
|
xoffset += distance;
|
|
|
|
|
|
|
|
if ( xoffset > xoffset_end )
|
|
|
|
xoffset = xoffset_end;
|
|
|
|
|
|
|
|
if ( xoffset < 0 )
|
|
|
|
xoffset = 0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollJump:
|
|
|
|
{
|
2017-01-03 19:02:04 +01:00
|
|
|
short val = short(hbar->getValue());
|
2017-01-02 08:07:46 +01:00
|
|
|
|
|
|
|
if ( xoffset == val )
|
|
|
|
break;
|
|
|
|
|
|
|
|
xoffset = val;
|
|
|
|
|
|
|
|
if ( xoffset > xoffset_end )
|
|
|
|
xoffset = xoffset_end;
|
|
|
|
|
|
|
|
if ( xoffset < 0 )
|
|
|
|
xoffset = 0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
case FScrollbar::scrollWheelUp:
|
|
|
|
if ( xoffset == 0 )
|
|
|
|
break;
|
|
|
|
|
|
|
|
xoffset -= 4;
|
|
|
|
|
|
|
|
if ( xoffset < 0 )
|
|
|
|
xoffset=0;
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FScrollbar::scrollWheelDown:
|
|
|
|
if ( xoffset == xoffset_end )
|
|
|
|
break;
|
|
|
|
|
|
|
|
xoffset += 4;
|
|
|
|
|
|
|
|
if ( xoffset > xoffset_end )
|
|
|
|
xoffset = xoffset_end;
|
|
|
|
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2017-01-03 19:02:04 +01:00
|
|
|
if ( isVisible() && viewport && xoffset_before != xoffset )
|
2017-01-02 08:07:46 +01:00
|
|
|
{
|
2017-01-03 19:02:04 +01:00
|
|
|
viewport->has_changes = true;
|
2017-01-02 08:07:46 +01:00
|
|
|
copy2area();
|
|
|
|
hasChanges = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ( scrollType >= FScrollbar::scrollStepBackward
|
2017-01-03 19:02:04 +01:00
|
|
|
&& scrollType <= FScrollbar::scrollWheelDown
|
|
|
|
&& hasChanges )
|
2017-01-02 08:07:46 +01:00
|
|
|
{
|
|
|
|
hbar->setValue (xoffset);
|
2017-01-07 22:09:09 +01:00
|
|
|
drawHBar();
|
2017-01-02 08:07:46 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if ( hasChanges )
|
|
|
|
updateTerminal();
|
|
|
|
}
|
2017-01-07 22:09:09 +01:00
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
inline void FScrollView::redrawHBar()
|
|
|
|
{
|
|
|
|
child_print_area = 0;
|
|
|
|
|
|
|
|
if ( hbar->isVisible() )
|
|
|
|
hbar->redraw();
|
|
|
|
|
|
|
|
child_print_area = viewport;
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
inline void FScrollView::redrawVBar()
|
|
|
|
{
|
|
|
|
child_print_area = 0;
|
|
|
|
|
|
|
|
if ( vbar->isVisible() )
|
|
|
|
vbar->redraw();
|
|
|
|
|
|
|
|
child_print_area = viewport;
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
inline void FScrollView::drawHBar()
|
|
|
|
{
|
|
|
|
child_print_area = 0;
|
|
|
|
|
|
|
|
if ( hbar->isVisible() )
|
|
|
|
hbar->drawBar();
|
|
|
|
|
|
|
|
child_print_area = viewport;
|
|
|
|
}
|
|
|
|
|
|
|
|
//----------------------------------------------------------------------
|
|
|
|
inline void FScrollView::drawVBar()
|
|
|
|
{
|
|
|
|
child_print_area = 0;
|
|
|
|
|
|
|
|
if ( vbar->isVisible() )
|
|
|
|
vbar->drawBar();
|
|
|
|
|
|
|
|
child_print_area = viewport;
|
|
|
|
}
|