tree 72cef07f4de7932ceb412ac4570221d4889c71e6
parent b2e057876c4ddea761fe0b3f04d8a08a63018604
author Stephan Wahlbrink <sw@wahlbrink.eu> 1643148444 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1643233349 +0100

Bug 539029: [SourceEditor] Update icons of commands
  - Add high dpi and disabled versions

Rendering-Pipe: G-2.1/I-1.1.1

Change-Id: Ieb34513a1685fa0beb54d186d4797d7ec23a5264