vercel / vercel/hyper

Option to enable native window border

Open
#3,073 0 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
TypeScript
Stars
44.7k
Forks
3.6k
Avg merge
21m
Merged PRs (30d)
1

Description

  • I am on the latest Hyper.app version
  • I have searched the issues of this repo and believe that this is not a duplicate
  • OS version and name: Ubuntu 16.04
  • Hyper.app version: Hyper 2.0.0 (stable)
  • Link of a Gist with the contents of your .hyper.js:
  • Relevant information from devtools (CMD+ALT+I on macOS, CTRL+SHIFT+I elsewhere):
  • The issue is reproducible in vanilla Hyper.app:

Issue

It would be nice to be able to enable native window borders. I know, the default borders are nice, but on Ubuntu for example, maximized Hyper have its own close button and I often close window under Hyper, because I click on the close button in top left corner of my screen, but Hyper's close button is under that.

// This only happens if I start Hyper maximized (if I don't maximize it myself)

image

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

No source file, test, or entry point is identified in the issue. Reproduce the behavior on Ubuntu 16.04 with Hyper started maximized, then trace the desktop window configuration and determine how an option for native borders should be exposed. Done means the option enables native window borders without overlapping the system close control.

Written by the indexing model from the issue text.

Assessment

Domain
desktop
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.