We could re-parent the Scintilla widget into a frame (or whichever is the proper widget) and set its border shadow to "in" or "etched in", which would probably look more appropriate on Windows[0][1][2], and likely still look fine on most non-Windows themes.