7 Commits

Author	SHA1	Message	Date
Moritz Bunkus	3d7435d236	GUI: add icons for header editor close, reload	2015-04-04 09:54:54 +02:00
Moritz Bunkus	47eb5f8167	GUI: implement update checks	2015-03-31 21:47:11 +02:00
Moritz Bunkus	02c8f535a8	GUI: add several icons to resources	2014-08-31 15:37:40 +02:00
Moritz Bunkus	93ec31477c	Fix file permissions	2012-06-17 21:32:42 +02:00
Moritz Bunkus	41f65932cf	New icons by Ben Humpert	2012-06-17 19:11:57 +02:00
Moritz Bunkus	255b2a4c56	Use Qt Creator's FancyTabWidget for the tool selection	2012-04-25 20:18:02 +02:00
Moritz Bunkus	5ac4ede626	Add PNG versions in 48x48, 128x128, 256x256 of the icons	2012-04-10 19:08:20 +02:00