tholman/zenpen — pull request #25 by gillesdemey (2013-02-06 16:11:09+00:00)
Title: Options UI bubble bounding fix. Fixing #23

Fixed issue #23.