diff options
author | jcid <devnull@localhost> | 2007-11-02 22:47:36 +0100 |
---|---|---|
committer | jcid <devnull@localhost> | 2007-11-02 22:47:36 +0100 |
commit | 82433031dd79fb3332f41d6873ebd03b762d8502 (patch) | |
tree | fc4ec4a77cd776aad1a86be043fd816ba440c73a /src | |
parent | a98cd575bbb83fcf726c99741b8d97546696a16e (diff) |
Hooked vertical scrolling to the mouse wheel.
Diffstat (limited to 'src')
-rw-r--r-- | src/html.hh | 6 | ||||
-rw-r--r-- | src/uicmd.cc | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/html.hh b/src/html.hh index 75dc1b49..47b1ea42 100644 --- a/src/html.hh +++ b/src/html.hh @@ -252,9 +252,9 @@ struct _DilloHtml { Dstr *Stash; bool_t StashSpace; - char *SPCBuf; /* Buffer for white space */ + char *SPCBuf; /* Buffer for white space */ - int pre_column; /* current column, used in PRE tags with tabs */ + int pre_column; /* current column, used in PRE tags with tabs */ bool_t PreFirstChar; /* used to skip the first CR or CRLF in PRE tags */ bool_t PrevWasCR; /* Flag to help parsing of "\r\n" in PRE tags */ bool_t PrevWasOpenTag; /* Flag to help deferred parsing of white space */ @@ -263,7 +263,7 @@ struct _DilloHtml { bool_t ReqTagClose; /* Flag to help handling bad-formed HTML */ bool_t CloseOneTag; /* Flag to help Html_tag_cleanup_at_close() */ bool_t TagSoup; /* Flag to enable the parser's cleanup functions */ - char *NameVal; /* used for validation of "NAME" and "ID" in <A> */ + char *NameVal; /* used for validation of "NAME" and "ID" in <A> */ /* element counters: used for validation purposes */ uchar_t Num_HTML, Num_HEAD, Num_BODY, Num_TITLE; diff --git a/src/uicmd.cc b/src/uicmd.cc index 02a51010..b2d58a4d 100644 --- a/src/uicmd.cc +++ b/src/uicmd.cc @@ -14,6 +14,7 @@ #include <stdio.h> #include <stdarg.h> +#include <math.h> /* for rint */ #include <fltk/Widget.h> #include "dir.h" @@ -82,6 +83,7 @@ BrowserWindow *a_UIcmd_browser_window_new(int ww, int wh) FltkViewport *viewport = new FltkViewport (0, p_h, ww, wh-p_h-s_h); layout->attachView (viewport); //viewport->addGadget(new_ui->fullscreen_button()); + viewport->setScrollStep((int) rint(12.0 * prefs.font_factor)); new_ui->set_render_layout_end(); // This was the original code. // Set the render_layout widget into the UI |