diff options
| author | Drew DeVault <sir@cmpwn.com> | 2016-07-30 09:43:03 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-30 09:43:03 -0400 |
| commit | e3104a48e387a91b12952089595f447f286f3fea (patch) | |
| tree | 2bb69da49ca0499b938192899b7d1e4c2f16d7c5 /include | |
| parent | 3f83968d304c4295705d1cfb33ac723959519f23 (diff) | |
| parent | c33e0ee629e263bcf158df59bff01c1289d18d0a (diff) | |
Merge pull request #804 from thejan2009/misc-border-fix
Misc border fix
Diffstat (limited to 'include')
| -rw-r--r-- | include/border.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/border.h b/include/border.h index eb7fc656..b629ba46 100644 --- a/include/border.h +++ b/include/border.h @@ -20,5 +20,6 @@ void render_view_borders(wlc_handle view); void update_view_border(swayc_t *view); void map_update_view_border(swayc_t *view, void *data); int get_font_text_height(const char *font); +bool should_hide_top_border(swayc_t *con, double y); #endif |