search

doy / runes

a modern terminal client
Other
35 stars 1 forks source link

add a border #34

Closed doy closed 10 years ago

doy commented 10 years ago

It doesn't look very good to have text pushing all the way up to the edges of the window - there should be a pixel or two of padding around the edges.

doy commented 10 years ago

The border should also be a separate window that doesn't watch for mouse events, so that resizing the window has a target of more than a single pixel (in window managers that don't use window decorations).