| === JanC is now known as Guest55020 | ||
| === JanC_ is now known as JanC | ||
| gordonjcp | morning | 10:02 |
|---|---|---|
| gordonjcp | in Ubuntu 17.10, how do you change the size of the dock on the left side? | 10:02 |
| m0j0dj0dj0 | Hi how can i auto hide the dock ? seems autohide set to true doesn't work | 13:51 |
| genii | Did you logoff/logon cycle since then yet? | 14:03 |
| m0j0dj0dj0 | yes i did | 14:16 |
| m0j0dj0dj0 | all the options i tested works like set the dock transparent, change the side etc but not this one | 14:17 |
| ducasse | maybe it's just not implemented correctly yet | 14:18 |
| gixxer1k | hey all | 17:21 |
| gixxer1k | the openjdk9 package seems to be broken (today's update) | 17:21 |
| gixxer1k | http://paste.ubuntu.com/25390671/ | 17:22 |
| nacc | gixxer1k: thanks, i think it's now known, hopefully will get fixed | 20:29 |
| nacc | gixxer1k: looks like -4 should fix it (which is in -proposed currently) | 20:33 |
| gixxer1k | glad to be of help, thx for letting me know | 20:50 |
| nacc | gixxer1k: yw | 20:50 |
| isantop | I'm having a weird problem on artful. I have menubars in both totem and the new 3.25 settings app | 21:02 |
| isantop | Anyone know how to hide these? | 21:02 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!