How to Solve Window Resizing Difficulties in FunOS

Resizing application windows with the mouse can sometimes be difficult in FunOS because the window borders are very narrow. By default, the border width is set to 1 pixel, leaving only a small area that you can click and drag.

You can make windows easier to resize by increasing the border width in your active JWM theme. This guide explains how to make the change using either the File Manager or the Terminal.

Why Are Windows Difficult to Resize?

FunOS uses JWM (Joe’s Window Manager), a lightweight window manager designed to use minimal system resources.

By default, FunOS themes use the following window border width:

<Width>1</Width>

A 1-pixel border provides a clean and minimal appearance, but it can be difficult to grab with the mouse, particularly on high-resolution displays.

Increasing the value to 2, 3, or 4 creates a larger area around each window that you can click and drag.

How to Increase the Window Border Width

You only need to edit the theme that you are currently using. The theme files are stored in:

~/.config/jwm/themes/

You can edit the file graphically through the File Manager or open it from the Terminal.

Method 1: Using the File Manager

Step 1: Open the File Manager

Open the File Manager using one of the following methods:

Click Menu in the lower-left corner of the screen, then select File Manager.
Click the File Manager icon in the Tray.

Step 2: Show Hidden Files

Press:

Ctrl + H

This displays hidden files and directories in your Home directory.

Step 3: Open the JWM Themes Directory

Navigate to:

.config > jwm > themes

The complete directory path is:

~/.config/jwm/themes/

Step 4: Open the Active Theme File

Find the file corresponding to the theme you are currently using. For example, if you are using the Default theme, locate the file named:

Default

Right-click the file and select Mousepad to open it.

Step 5: Find the Border Width Setting

Look for the <WindowStyle> section and find the following line:

<Width>1</Width>

Step 6: Increase the Border Width

Change 1 to a larger value. For example:

<Width>3</Width>

Recommended values are:

2 for a slightly wider border
3 for easier resizing
4 for an even larger resizing area

A value of 3 is a good starting point for most users.

Step 7: Save the File

Save the changes, then close Mousepad.

Method 2: Using the Terminal

Step 1: Open a Terminal

Open a Terminal using one of the following methods:

Click Menu in the lower-left corner of the screen, then select Terminal.
Click the Terminal icon in the Tray.
Press Ctrl + Alt + T.

Step 2: Open the Active Theme File

Run the following command, replacing Default with the name of your active theme:

mousepad "$HOME/.config/jwm/themes/Default"

For example, the command above opens the Default theme file.

Step 3: Change the Border Width

Inside the <WindowStyle> section, find:

<Width>1</Width>

Change it to your preferred value. For example:

<Width>3</Width>

Save the file and close Mousepad.

Apply the Changes

You do not need to log out or restart JWM. To apply the updated border width, reselect the theme that you edited:

Click Menu.
Open Themes.
Select the theme that you edited.

For example, if you edited the Default theme, select Default again.

The window borders should immediately update to the new width.

Optional: Change the Border Width in All Themes

If you regularly switch between themes, you can update the window border width in every installed theme at once.

Open a Terminal and run the following command:

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

This command changes the window border width to 3 in all theme files.

To use a different width, replace the 3 in the following section:

<Width>3</Width>

For example, to set the width to 4, run:

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

After running the command, open Menu > Themes and reselect your preferred theme to apply the changes.

Note: This command modifies every file in the ~/.config/jwm/themes/ directory. Consider creating a backup first if you have manually customized your themes.

You can create a backup with:

cp -a "$HOME/.config/jwm/themes" "$HOME/.config/jwm/themes-backup"

Test the New Border Width

Move the mouse pointer to the edge or corner of an application window. When the resize pointer appears, click and drag the border to resize the window.

If the border is still difficult to grab, increase the width to a larger value, such as:

<Width>4</Width>

You can experiment with different values until you find the border width that feels most comfortable.

Conclusion

FunOS uses narrow window borders to maintain a clean and lightweight desktop appearance. However, the default 1-pixel border can make resizing windows with the mouse more difficult.

Increasing the border width to 2, 3, or 4 provides a larger resizing area without noticeably affecting system performance. The change can be applied to one theme or to every installed theme, depending on how frequently you switch between them.