diff python/prefs.py @ 237:b33d0c78132c

move menu regeneration to its own function
author Jeff Hammel <jhammel@mozilla.com>
date Thu, 09 Aug 2012 15:12:26 -0700 (2012-08-09)
parents 31a41264d51f
children
line wrap: on
line diff