b6bf07e Improve tracking of existing logos

Authored and Committed by Florian Müllner 5 years ago
1 file changed. 6 lines added. 3 lines removed.
    Improve tracking of existing logos
    
    We currently track all logos we create in an array, so we can destroy them
    when no longer needed. However it is possible that the corresponding actor
    has already been destroyed (for instance when a monitor is unplugged), re-
    sulting in warnings with newer gjs versions.
    
    Fix this by tracking logos in a Set and remove any logo whose actor is
    destroyed.
    
    https://pagure.io/background-logo-extension/issue/8
    
        
file modified
+6 -3