On Fri, Jan 23, 2015 at 09:01:13PM +0100, axeld@xxxxxxxxxxxxxxxx wrote: > 86f6a66bbe1c: Mouse: make the buttons actually look pressed. > > * Just making the font bold looks ugly, lazy Adrien :-) > I tried doing it but I got lost trying to compute the correct polygons for each button. I did not think of using ClipToPicture, which is indeed a much easier way to handle that. Thanks for finishing the work :) -- Adrien.