HeinrichApfelmus / threepenny-gui

GUI framework that uses the web browser as a display.
https://heinrichapfelmus.github.io/threepenny-gui/
Other
439 stars 77 forks source link

'checkedChange' commits missing after embed-frp merge #46

Closed duplode closed 11 years ago

duplode commented 11 years ago

The commit https://github.com/HeinrichApfelmus/threepenny-gui/commit/059aeee3a34b415229b0e1bbe3754be71b11c687 with the checkedChange event was not merged with develop along with the rest of the embed-frp branch. I would have sent a pull request adding it back, but I don't know if your preference is to merge or to rebase in such cases.

HeinrichApfelmus commented 11 years ago

Oops, I think I forgot to pull from the embed-frp branch before merging it into develop. Could you send a pull request again?

duplode commented 11 years ago

Sure, preparing it right now.