189
189
void ButtonPress (object sender, Gtk.ButtonPressEventArgs args)
191
192
Gtk.Widget parent = (Gtk.Widget) sender;
193
194
switch (args.Event.Button) {
200
203
if ((bool) Preferences.Get (Preferences.ENABLE_ICON_PASTE)) {
201
204
// Give some visual feedback
202
205
Gtk.Drag.Highlight (this);
204
209
Gtk.Drag.Unhighlight (this);