blob: 62d74c65c4f3e7d13b00fe5378e25920870babb0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
const Gdk = imports.gi.Gdk;
const Gtk = imports.gi.Gtk;
const Lang = imports.lang;
/**
* Class: TopbarHomeButton
* Generic button widget to re-direct the user to the home page
*
* This is a generic button widget to be used by all applications.
* It must be placed at the top left corner of the window. When
* clicked, the user must be re-directed to the home page of the
* application.
*/
const TopbarHomeButton = new Lang.Class({
Name: 'TopbarHomeButton',
GTypeName: 'EosTopbarHomeButton',
Extends: Gtk.Button,
_init: function(props={}) {
this.parent(props);
let icon_name;
if (Gtk.Widget.get_default_direction() === Gtk.TextDirection.RTL) {
icon_name = 'go-home-rtl-symbolic';
} else {
icon_name = 'go-home-symbolic';
}
let image = Gtk.Image.new_from_icon_name(icon_name, Gtk.IconSize.SMALL_TOOLBAR);
this.set_image(image);
this.get_style_context().add_class('home');
this.can_focus = false;
this.add_events(Gdk.EventMask.ENTER_NOTIFY_MASK | Gdk.EventMask.LEAVE_NOTIFY_MASK);
this.connect('enter-notify-event', function (widget) {
let cursor = Gdk.Cursor.new_for_display(Gdk.Display.get_default(),
Gdk.CursorType.HAND1);
widget.window.set_cursor(cursor);
});
this.connect('leave-notify-event', function (widget) {
widget.window.set_cursor(null);
});
this.get_style_context().add_class(Gtk.STYLE_CLASS_LINKED);
},
});
|