diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 20:42:14 -0700 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-24 20:42:14 -0700 |
commit | ed1a0c923823b1372928e3ee3b9e41c1df517fc3 (patch) | |
tree | 67e9865809d96848ce35f3b01783f69fdc4742be /hoogle-test/src/fixity/Fixity.hs | |
parent | dd45b10d576a50531a4e702e61370c49bb746264 (diff) |
Fix the synopsis button
Here's these changes are supposed to do:
* put the synopsis back on the right side
* properly have it on the edge of the screen on wide screens
* adjust the background of the synopsis to match the button
(otherwise the grey blends in with what is underneath)
* get rid of the dotted purple line
* the synopsis contents are now scrollable even when in wide
screens (this has been a long-standing bug)
Diffstat (limited to 'hoogle-test/src/fixity/Fixity.hs')
0 files changed, 0 insertions, 0 deletions