Closed GoogleCodeExporter closed 9 years ago
Make menu drop down faster Add configuration option for this too
Original issue reported on code.google.com by mlalevic@gmail.com on 6 Sep 2010 at 6:14
mlalevic@gmail.com
Original comment by mlalevic@gmail.com on 7 Sep 2010 at 8:15
Original comment by mlalevic@gmail.com on 19 Sep 2010 at 8:06
Original issue reported on code.google.com by
mlalevic@gmail.com
on 6 Sep 2010 at 6:14