1 - noscript Sticky Window Snapping
2 - nascondere la barra del titolo senza rimuovere i bordi (altrimenti sarebbe impossibile distinguere una finestra dall'altra tenendo disattivato il compositore)
3,4 - configurazione task switcher
5 - alcune gesture easystroke
2 - nascondere la barra del titolo senza rimuovere i bordi (altrimenti sarebbe impossibile distinguere una finestra dall'altra tenendo disattivato il compositore)
3,4 - configurazione task switcher
5 - alcune gesture easystroke
journalctl -u micro
1 - noscript Sticky Window Snapping 2 - nascondere la barra del titolo senza rimuovere i bordi (altrimenti sarebbe impossibile distinguere una finestra dall'altra tenendo disattivato il compositore) 3,4 - configurazione task switcher 5 - alcune gesture easystroke
Edit - esperimento:
utilizzando le decorazioni Oxygen (solo bordi, non stili dei widget [pulsanti, etc]) con le stesse impostazioni di Brezza,
è possibile avere dei bordi esteticamente migliori, cioè che non abbiano un contrasto così netto con il contenuto della finestra, e che non continuino a cambiare colore alla (dis)attivazione della finestra.
utilizzando le decorazioni Oxygen (solo bordi, non stili dei widget [pulsanti, etc]) con le stesse impostazioni di Brezza,
è possibile avere dei bordi esteticamente migliori, cioè che non abbiano un contrasto così netto con il contenuto della finestra, e che non continuino a cambiare colore alla (dis)attivazione della finestra.
journalctl -u micro
Firefox 89 Raga aiuto dov'è il tasto per personalizzare la UI
Trovato, bisogna andare su
More Tools > Customize Toolbar...
More Tools > Customize Toolbar...
journalctl -u micro
Firefox 89 Raga aiuto dov'è il tasto per personalizzare la UI
Ok basta,
>
>
about:config
> browser.compactmode.show = true
> browser.proton.enabled = falseDi recente tramite PyCharm ho fatto uso della funzione di rebasing interattivo git, e devo dire che è tanto potente quanto pericoloso:
è possibile infatti riordinare, rinominare, ed unire commit che non sono stati ancora pushati.
I problemi appaiono però quando si tenta di correggere un commit molto vecchio, con un altro commit contenente la singola patch: in questo caso il nuovo commit è risultato anche delle modifiche precedenti ad esso, e spostandolo nell'history queste modifiche verranno mantenute.
Si creeranno quindi un'enormità di conflitti di merge che dovranno essere risolti a mano, in cui si dovrà selezionare con attenzione tutte le modifiche vecchie più la patch da unire.
è possibile infatti riordinare, rinominare, ed unire commit che non sono stati ancora pushati.
I problemi appaiono però quando si tenta di correggere un commit molto vecchio, con un altro commit contenente la singola patch: in questo caso il nuovo commit è risultato anche delle modifiche precedenti ad esso, e spostandolo nell'history queste modifiche verranno mantenute.
Si creeranno quindi un'enormità di conflitti di merge che dovranno essere risolti a mano, in cui si dovrà selezionare con attenzione tutte le modifiche vecchie più la patch da unire.
Spero solo che l'integrazione git dei prodotti IntelliJ non mi faccia mai scherzi come è successo a qualche persona: tutte le modifiche locali non ancora committate sono state a loro improvvisamente cancellate.