Joakim Koed
Joakim Koed
@GuessEver You can't find your old modified theme? How are we supposed to help with that? :/
@anmoljagetia Is this something you put in? (the original icon) or something that came from the theme you based this on? I think we should try to just remove it...
GTK 3.20 have soo many changes. I guess would be this will take time. Also Ubuntu is moving to Mir / unity8 in next release (probably) so I don't see...
@anmoljagetia To be honest padding have never bothered me in a terminal, but I can see it looks just fine. But maybe 10 is a bit too much? Regarding High...
@Defman21 Agreed!
I have a 27" 1440p screen and a 1080p 14" laptop. Is that high DPI enough? It seems okay to me currently. Maybe 8/10 instead of 12, but I think...
Looks just fine to me :)
I figured it was something else, that's why I added a question mark. But thank you for explaining it :-)
hmm. Maybe.. Will see if I get some time this weekend to play around with it :)
Not at the moment, since I use ubuntu 16.04 I myself. I don't have the time to update each 6 months. :( sorry. I would recommend you to download arc...