Felix Andreas

Weird, I also tried it change `present` method to `present_with_time` in files https://github.com/elementary/files/blob/1e0fffe485365bb4584525b9b6e6252fb8b19f9c/src/Application.vala#L239 and in the terminal https://github.com/elementary/terminal/blob/8376caa849c2625624b9b6e3d8d738faf31c3170/src/Application.vala#L235 and it fixed the issue in both cases for me. Dumb question:...

also found this https://codereview.chromium.org/299001/diff/4001/chrome/browser/gtk/options/options_window_gtk.cc

Now, I tried it again, and the fix does not work for me anymore. I am not able to reproduce...

> Am I right in thinking that there is a separate shortcut for the launch-or-focus behaviour? This could be confusing. If this behaviour is desirable than maybe it should apply...

> It might be easier to split this into two PRs - one dealing with standard apps and one dealing with custom shortcuts. OK! The last commit removed the ability...

> The switchboard plug uses a relocatable schema to store info an arbitrary number of custom shortcuts (limited to 100 I assume for performance or key availability reasons). Files uses...

The tab-bar increases because of the lines `margin: 3px;` and `border: 1px solid @colorAccent;` in: https://github.com/elementary/stylesheet/blob/485f0c403a9b6baf6425f9f98bd163a6a26998bf/elementary/gtk-3.0/gtk-widgets.css#L137-L143

This also effects the context menu of the tabs. When right-clicking the within the 3px padding of a tab, instead of the context menu of the the tab the context...

I changed the style in the Inspector and I think this would actually fix the problem. **Before:**  **After:** 

To my understanding, this is a corner case which can not be fixed without a new [freedesktop.org]( https://www.freedesktop.org/wiki/) specification and an implementation in the window manager. If you look a...