Skip to content

Comments

Menu bars, again#167

Merged
bbatsov merged 1 commit intobbatsov:masterfrom
NicholasKirchner:master
Jun 10, 2012
Merged

Menu bars, again#167
bbatsov merged 1 commit intobbatsov:masterfrom
NicholasKirchner:master

Conversation

@NicholasKirchner
Copy link
Contributor

zwass's pull request to fix the "with-selected-frame" issue broke the menu bars on my end. Here's a fix that should work for everyone.

bbatsov added a commit that referenced this pull request Jun 10, 2012
@bbatsov bbatsov merged commit 00a0181 into bbatsov:master Jun 10, 2012
celkins pushed a commit to celkins/prelude that referenced this pull request Jun 11, 2015
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