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. You only need to edit the theme you are currently using.

Method 1: Using the File Manager (Graphical Way)

1. Open File manager from the menu or the tray.
2. Press Ctrl + H on your keyboard to show hidden files.
3. Navigate to the .config > jwm > themes folder.
4. Right-click your active theme file (e.g., Blue-Day) and select Mousepad to open it.
5. Look for a line similar to this inside the <WindowStyle> section:

<Width>1</Width>

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

<Width>3</Width>

7. Save the file and close Mousepad.

Method 2: Using the Terminal (Command Line Way)

1. Open a terminal by pressing Ctrl + Alt + T or clicking Menu > Terminal.
2. Open your active theme file in Mousepad by running the following command (replace Blue-Day with the name of your current theme):

mousepad $HOME/.config/jwm/themes/Blue-Day

3. Look for the <Width>1</Width> line inside the <WindowStyle> section and change the number to your preferred width (e.g., 3).
4. Save the file and close Mousepad.

Apply the Theme

To apply your changes instantly, you do not need to restart JWM. Simply reselect your theme from the menu:

1. Click on Menu > Themes.
2. Click on the theme you just edited (e.g., Blue Day).

The window borders will immediately update to your new width.

Optional: Update All 29 Themes at Once

If you change themes frequently, you might want to apply the new border width to all 29 preinstalled FunOS themes simultaneously. Instead of editing each file manually, you can use a single command in the terminal.

Open a terminal and run the following command (this example sets the width to 3 for all themes):

sed -i -E 's/<Width>[0-9]+<\/Width>/<Width>3<\/Width>/' $HOME/.config/jwm/themes/*

Note: We use the regular expression [0-9]+ in this command so that it works perfectly even if you previously changed the width to another number and want to change it again. Be sure to replace the 3 in <Width>3</Width> with your desired border width value.

After running the command, simply apply the changes by reselecting your preferred theme from Menu > Themes.

Final Test

Try resizing a window by clicking and dragging its edge with your mouse. If it still feels too difficult, simply 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!