commit f5a15466b889d2aedf0dd0994764b1617e1acfd7
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
