Merge pull request #6661 from Beep6581/external-editor-fixes

External editor fixes for Windows
This commit is contained in:
Lawrence37
2023-01-26 21:37:14 -08:00
committed by GitHub
13 changed files with 219 additions and 64 deletions

View File

@@ -1278,6 +1278,11 @@ menuitem:hover > * {
color: @text-hl-color;
}
menu menuitem > radio + * image:not(.dummy),
#MyExpander menu menuitem > radio + * image:not(.dummy) {
margin-left: 1pt;
}
menu image:not(.dummy),
#MyExpander menu image:not(.dummy) {
min-height: 2em;

View File

@@ -383,6 +383,11 @@ menu arrow {
margin: 0 -0.25em 0 0;
}
menu menuitem > radio + * image:not(.dummy),
#MyExpander menu menuitem > radio + * image:not(.dummy) {
margin-left: 1pt;
}
menu image:not(.dummy),
#MyExpander menu image:not(.dummy) {
min-height: 2em;
@@ -1029,4 +1034,4 @@ messagedialog headerbar button.titlebutton {
min-height: 1.25em;
margin: 0;
}
/*** end ***************************************************************************************/
/*** end ***************************************************************************************/

View File

@@ -351,6 +351,11 @@ menu arrow {
margin: 0 -0.25em 0 0;
}
menu menuitem > radio + * image:not(.dummy),
#MyExpander menu menuitem > radio + * image:not(.dummy) {
margin-left: 1pt;
}
menu image:not(.dummy),
#MyExpander menu image:not(.dummy) {
min-height: 2em;