FunOS

In FunOS, if you’re experiencing difficulty resizing application windows using your mouse, the problem may be due to the window border being too narrow. By default, FunOS sets the window border width to 1 pixel, which can make it challenging to grab and drag the window edges.

This article will guide you through increasing the border width to make window resizing easier.

Why Does This Happen?

FunOS uses the JWM (Joe’s Window Manager), which is designed to be lightweight and minimal. As part of this minimalism, the default window border width is set to 1 pixel. While this keeps things sleek and resource-friendly, it may cause usability issues on some screens or for users who prefer easier resizing with the mouse.

How to Increase the Window Border Width

Follow these steps to increase the border width from 1 to a more manageable value like 2, 3, or 4.

1. Open a Terminal Window

You can do this by pressing Ctrl + Alt + T, clicking the Terminal icon in the Tray, or by clicking Menu > Terminal.

2. Edit the Active Theme Configuration

Run the following command to open your current theme configuration in Mousepad:

mousepad $HOME/.config/jwm/theme

Look for a line similar to this inside the <WindowStyle> section:

<Width>1</Width>

Change the value 1 to 2, 3, or 4, depending on your preference:

<Width>3</Width>

Save the file and close Mousepad.

3. Update All Available Themes (Optional but Recommended)

FunOS comes with 19 preinstalled JWM themes located in the ~/.config/jwm/themes folder. To ensure consistency across themes, you can update the border width for all of them with a single command:

sed -i 's/<Width>1<\/Width>/<Width>3<\/Width>/' $HOME/.config/jwm/themes/*

⚠️ Replace the number 3 with your preferred border width value (e.g., 2, 4, etc.).

This command finds all instances of <Width>1</Width> in the theme files and replaces them.

4. Restart JWM

To apply the changes, restart the JWM window manager by running:

jwm -restart

Alternatively, you can log out and log back in.

Final Test

Try resizing a window by clicking and dragging its edge with your mouse. If it still feels too difficult, repeat the steps above and try a slightly larger value (e.g., 4) until you find what works best for you.

Conclusion

FunOS prioritizes speed and minimalism, but that doesn’t mean you have to compromise on usability. Adjusting the window border width is a quick and effective way to improve your experience without sacrificing performance.

If you have any questions or suggestions, feel free to reach out. Happy customizing!