Go to file
2012-07-03 15:44:11 +02:00
src/apps/webpositive Revert the default of the Auto-hide mouse pointer setting, by popular request. 2012-07-03 15:44:11 +02:00