False 5 Extension Update Required True 0 0 dialog False vertical 12 False end Check for _Updates... True True True True True True False True 0 Disable all True True True True False True 1 _Cancel True True True True False True 2 _Help True True True True False True 3 True False True end 1 True False 12 True False %PRODUCTNAME has been updated to a new version. Some installed %PRODUCTNAME extensions are not compatible with this version and need to be updated before they can be used. True 95 95 0 0 0 True True True True never in True False True True GDK_BUTTON_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_STRUCTURE_MASK True True 0 1 True False True 6 False True Adding %EXTENSION_NAME True 0 0 0 False True True 0 1 0 2 False True 0 ok disable help