Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Userlist: users now don't overlap other objects #616

Merged
merged 3 commits into from
Apr 9, 2012
Merged

Userlist: users now don't overlap other objects #616

merged 3 commits into from
Apr 9, 2012

Conversation

0ip
Copy link
Member

@0ip 0ip commented Apr 9, 2012

  • removed border-top which exceeded the width of #otherusers
  • removed 'Disconnected' message which is unnecessary since the user is grayed out

Add-on for #612

JohnMcLear added a commit that referenced this pull request Apr 9, 2012
Userlist: users now don't overlap other objects
@JohnMcLear JohnMcLear merged commit 49b4fdf into ether:develop Apr 9, 2012
@JohnMcLear
Copy link
Member

@0ip if you get a second do you want to look at the styling of the heading support plugin currently live on beta.etherpad.org?

@0ip
Copy link
Member Author

0ip commented Apr 9, 2012

Sure.
Btw, can you pls merge #612 since this one relies on it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants