commit 40ca0ee6870e7e8a2bd96db5eb6ddb11824175e1
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
