arjun
committed
on 11 Apr 02
small fix to toggle_pinned