False 5 Extension Manager dialog False vertical 2 False end gtk-help False True True True False True False True 0 True Add... False True True True True True False False True 1 Check for updates... False True True True False False True 2 gtk-close False True True True False True False True 3 False True end 0 True False vertical 10 600 320 True False True True 0 True False 0 none True False True True 1 12 True False center True True 12 Shared False True True False center False 0 True True 1 0 1 1 User False True True False start False 0 True True 2 0 1 1 Installation False True True False end False 0 True True 0 0 1 1 True False Type of Extension False True 1 True False 6 False True 50 Adding %EXTENSION_NAME 1 0 1 1 gtk-cancel False True True True False True 3 0 1 1 False True True 2 0 1 1 Get more extensions online... False True True True True False none 0 0 0 1 1 False True 2 True True 1 help add update close