id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,blockedby,blocking,platform 5023,Growing drop-down menu,humdinger,nobody,"This is r34158. Switching through the top drop-down menu (All Workspaces, Current Workspace, Default Folder... etc.) makes the drop-down menu wider and wider.",bug,closed,normal,R1,Preferences/Backgrounds,R1/Development,duplicate,,,2413,,All