commit dfb00a7648f842166511984cf2e8e54118f63867
Author: Lukas K <lu@0x83.eu>
Date:   Sat Nov 26 15:00:58 2022 +0100

    pool editors: add undo,redo and save shortcuts
    
    changelog: Enhancements/Pool Manager: Add shortcuts in editors
