Move reload icon from diff editor to core
It is a generic icon, and will for example also be used
in the Help plugin. Also make it more round and add a 2x variant
for HiDPI.
Change-Id: I2ad4fc1e2d2766042646a47483f129447c2c3c25
Reviewed-by:
Alessandro Portale <alessandro.portale@digia.com>
299 Bytes
1 KB
250 Bytes