Comments for https://horstmann.com/unblog/2023-01-07/index.html
Comments for: https://horstmann.com/unblog/2023-01-07/index.html
- SStephen Gilbert @stephendgilbert
Wow, I'm really behind in reading your unblog. Just a note, if you have to use Windows again. If you right-click the taskbar, you can unlock it and then move it to the right or left (and then lock it again if you like). The first thing I always do in Windows is move the taskbar to the right (which seems easier to me than the left).
- CCay Horstmann @cayhorstmann
Hi Steve, that's not what I want. I want it VERTICALLY on the left, so that it doesn't consume precious pixel rows. Like this image: https://raw.githubusercontent.com/addy-dclxvi/tint2-theme-collections/master/preview-launchy.jpg
- SIn reply tosystem⬆:Steve Hamilton @Steve_Hamilton
You were right about the .Xresources file. Putting the dpi scaling setting in there does mostly fix openbox for me. Most things are readable now without having to change resolution with xrandr. My monitor's max supported resolution is 3200x1800. But a quick question, how did you come up with the value of 192? It just seems like an arbitrary #, what's the reasoning behind choosing that value?
- CCay Horstmann @cayhorstmann
Hi, the original 1920x1200 screen has 96 dpi, so the 3840 x 2400 screen of the same physical size has 2x96=192dpi. Run
xdpyinfo | grep resolution
to find your monitor's resolution.
- TIn reply tosystem⬆:Saki Izumi @thecheddarcheese
The
GDK_SCALE=2
variable works for most apps, but pavucontrol becomes giant, and the setting doesn't seem to support decimals... Welp, guess I'll have to use a cli tool or just live with a weird ui.Anyway, great post! Helped me a lot with the setup, so thanks for that.
- TSaki Izumi @thecheddarcheese
Alright, I have one issue, now that I've set GDK_DPI_SCALE=0.5 and GDK_SCALE=2 for everything, my cursor changes size across apps. I fixed this earlier by modifying ~/.config/gtk-3.0/settings.ini, but it seems to have appeared again now. Any ideas?
- CCay Horstmann @cayhorstmann
Hi, as it happens, I had to do this all over again last week, and the cursor size is working for me. What app isn't cooperating?