Dan Winship 0c0e2cc689 shell-drawing: remove shell_draw_box_pointer()
This was originally done in C because it used cairo, but that can be
done from JS now. Since it was only used by altTab.js, move it there.

https://bugzilla.gnome.org/show_bug.cgi?id=642059
2011-02-14 09:38:27 -05:00
..
2011-02-12 23:32:57 +01:00
2011-01-31 11:52:27 -05:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00
2011-02-12 23:32:57 +01:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00
2010-06-21 16:19:25 +02:00