Emmanuele Bassi
328534fc95
[text] Fix cursor sizing ...
The cursor should be slightly smaller than the height of the actor, to
allow for painting a border. Let's pad it by 1 pixel on the top and 1
on the bottom.
Also, we should use the cursor size everywhere and not use hardcoded
magic numbers.
2009-01-07 11:44:54 +00:00
2008-12-10 12:13:20 +00:00
2008-12-04 17:24:33 +00:00
2008-11-21 16:18:31 +00:00
2009-01-05 15:29:10 +00:00
2009-01-05 15:29:10 +00:00
2008-11-18 12:42:05 +00:00
2008-11-18 12:42:05 +00:00
2008-11-18 09:50:03 +00:00
2008-11-18 09:50:03 +00:00
2008-12-23 16:59:14 +00:00
2008-12-23 15:03:11 +00:00
2008-12-10 11:27:14 +00:00
2008-12-05 14:08:06 +00:00
2008-12-05 13:13:37 +00:00
2008-12-05 13:13:37 +00:00
2008-12-05 13:13:37 +00:00
2009-01-05 16:29:49 +00:00
2009-01-05 16:25:50 +00:00
2008-11-18 09:50:03 +00:00
2008-11-18 09:50:03 +00:00
2008-12-05 13:13:37 +00:00
2008-12-08 13:57:10 +00:00
2008-12-08 13:57:10 +00:00
2008-11-26 16:46:48 +00:00
2008-11-18 09:50:03 +00:00
2008-11-18 09:50:03 +00:00
2009-01-06 12:35:19 +00:00
2008-12-08 13:57:10 +00:00
2008-11-21 16:18:38 +00:00
2008-12-05 13:13:37 +00:00
2008-12-05 13:13:37 +00:00
2009-01-05 15:27:33 +00:00
2008-11-17 14:21:49 +00:00
2008-11-25 13:19:48 +00:00
2008-11-18 18:53:10 +00:00
2008-11-18 15:08:40 +00:00
2008-11-18 15:08:40 +00:00
2008-11-18 15:08:40 +00:00
2008-11-18 15:08:40 +00:00
2008-12-05 14:08:06 +00:00
2009-01-07 11:44:54 +00:00
2009-01-07 00:25:24 +00:00
2008-12-05 14:08:06 +00:00
2008-12-05 17:44:12 +00:00
2008-11-18 12:42:05 +00:00
2008-12-11 13:49:39 +00:00
2008-12-11 13:49:39 +00:00
328534fc95