Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature Request: Ability to Disable the Kill Menu Option, Show X Client Host Name #585

Closed
mikefhewitt opened this issue Sep 9, 2022 · 1 comment

Comments

@mikefhewitt
Copy link

mikefhewitt commented Sep 9, 2022

The purpose of this feature request is to support removing the Kill menu option from both the window title bar popup menu and the task list popup menu via configuration to prevent accidentally stopping an application.

It is also to add the configuration option to show the X client hostname (WM_CLIENT_MACHINE) in the window title.

I have already implemented both of these features and will submit a PR for the changes.

A killmenu attribute to has been added to the TaskListStyle element to support disabling the menu option.
Valid values for the configuration attribute are true (shown) and false (not shown) with true being the default.

The attributes machinename and delimiters have been added to the WindowStyle element to support display of the X client hostname in the title.
Valid values for the machinename attribute are true (shown) and false (not shown) with false being the default.
A valid value for the delimiters attribute is two characters (e.g. "[]","()","{}","==", etc.) with () being the default.

@mikefhewitt mikefhewitt changed the title Feature Request: Ability to Disable the Kill Menu Option Feature Request: Ability to Disable the Kill Menu Option, Show X Client Host Name Sep 13, 2022
@mikefhewitt
Copy link
Author

jwm-configuration-changes

The image above shows a window with the client name (deetmp003) shown <WindowStyle machinename="true"> and the Kill option removed from the popup menu <TaskListStyle killmenu="false">

mikefhewitt pushed a commit to mikefhewitt/jwm that referenced this issue Sep 13, 2022
joewing added a commit that referenced this issue Sep 15, 2022
added configuration options for issue #585 (kill menu, client name in title)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant