Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Please note: this pull request is not intended for merging in its current state! This is to provide a basis for discussion, after the fixes suggested in #8.
In particular, I can't be sure this works. The title trimming works (I tested that), but now that I've added a new preference to the gsettings schema, I can't start up my version of dockbarx any more because it now throws an error:
Settings schema 'org.dockbarx.dockbarx' does not contain a key named 'preview-trim'
. I don't know how to use my "updated" gsettings schema without forcing it to install instead of the standard one, and that will break the actual installation of dockbarx that I have on my desktop! So this is a proposal, which you might want to think about, and decide whether you like it, and maybe make changes to. The full description is below.Add a new preference, "Smart title trimming".
In the list of previews for an application, this shortens the titles of the windows in that application by removing common prefixes and suffixes from those titles. For example, if you have some Terminal windows open, with titles:
then these will likely be too long to be shown in their entirety in the window list. This preference changes the displayed titles in the window list to remove the common substrings at start and end, so the entries in the list would look like this:
The preference defaults to off. It's named "Smart title trimming" because more technical descriptive names such as "Remove common prefix and suffix from preview window titles" sound confusingly "techie".