Domizio Demichelis
Domizio Demichelis
> To ignore files that do not require validation you can use a `.solhintignore` file. It supports rules in the `.gitignore` format. The pattern to ignore a dir excluding specific...
Sometimes you may go out of the top bar while you are choosing a menu or an icon, and the topbar will immediately hide. That's quite annoying. Having the possibility...
It does not happen all the times, but it looks like it happens when the shell get restarted (possibly internally on Ubuntu 18.04). Could grouping be designed to survive a...
This is not a big issue, just a little glitch, but it might be easy to fix. If you change the GDM screen by following the instructions, the GDM works...
That slows down the Overview a lot. Ubuntu GNOME 17.04.
When One of the vertically mazimized winow has the focus is ok to unblur all the vertically maximized windows, but all of them should be blurred if another (not maximized)...
For example, with docker a pair of veth interface come up, then there is no way to make them go away even when docker remove them. The only way is...
Even with your own Greeter example, the resulting object does not have any of its original properties. `TS2339: Property 'setGreeting' does not exist on type 'GasTracker'.`
It would be extremely useful to have a feature that can move/reorder desktops according to the user priority. It would be something like click and drag the desktop thumbnail with...
I am not sure whether this is a known limitation or it's just that I am missing something, so here is the description: I try to use it with an...