No internet connection
  1. Home

Comments for https://horstmann.com/unblog/2023-01-07/index.html

By System @system
    2023-07-06 21:49:15.087Z
    • 7 comments
    1. S
      Stephen Gilbert @stephendgilbert
        2023-07-06 21:49:15.146Z

        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).

        1. CCay Horstmann @cayhorstmann
            2023-07-20 08:37:16.044Z

            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

          • S
            In reply tosystem:
            Steve Hamilton @Steve_Hamilton
              2024-04-19 06:49:18.699Z

              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?

              1. CCay Horstmann @cayhorstmann
                  2024-04-19 07:11:27.848Z

                  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.

                • T
                  In reply tosystem:
                  Saki Izumi @thecheddarcheese
                    2024-07-31 11:56:48.912Z

                    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.

                    1. TSaki Izumi @thecheddarcheese
                        2024-07-31 13:13:05.513Z

                        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?

                        1. CCay Horstmann @cayhorstmann
                            2024-08-29 18:33:30.483Z

                            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?