Merge pull request #4639 from frikdt/fix-window_completion_option-in-commandline_css

Updated WindowCompletionOption in commandline.css stylesheet
This commit is contained in:
Oliver Blanthorn 2023-03-22 13:21:40 +00:00 committed by GitHub
commit 5157d9be5a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -293,7 +293,7 @@ a.url:hover {
}
#completions .WindowCompletionOption td.id {
width: 4ch !important;
width: 6ch !important;
text-align: right;
padding: 0px 3pt;
padding: 0px 8pt;
}