mouse navigation
This commit is contained in:
parent
eaca3ea34d
commit
0c556a6ead
2 changed files with 9 additions and 2 deletions
|
@ -32,11 +32,12 @@
|
|||
</screenshot>
|
||||
</screenshots>
|
||||
<releases>
|
||||
<release version="0.2.7" date="2018-02-15">
|
||||
<release version="0.2.7" date="2018-02-12">
|
||||
<description>
|
||||
<p>Improved:</p>
|
||||
<ul>
|
||||
<li>favicon fetching</li>
|
||||
|
||||
</ul>
|
||||
</description>
|
||||
</release>
|
||||
|
|
|
@ -137,7 +137,13 @@ namespace Webpin.Widgets {
|
|||
});
|
||||
|
||||
web_view.button_press_event.connect ((event) => {
|
||||
stdout.printf ("BUTTON %u\n", event.button);
|
||||
if (event.button == 8) {
|
||||
web_view.go_back ();
|
||||
return true;
|
||||
} else if (event.button == 9) {
|
||||
web_view.go_forward ();
|
||||
return true;
|
||||
}
|
||||
return base.button_press_event (event);
|
||||
});
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue