userlist fix

Makes the editor taller and the userlist scrollable.