![]() when switching to white-on-black mode (or back). this causes the cursor in embedded editors to pick up the right colors (since it is selected by the inverse of the background color of the style of the enclosing editor snip) closes PR 13943 original commit: 492ddab085a1d87a70843df772b044ceb84adb3d |
||
---|---|---|
pkgs |