En MapInfo Pro 12.5, en la ventana del navegador, las filas seleccionadas (seleccionadas haciendo clic en las filas con el ratón o mediante una consulta) se resaltan en azul oscuro, pero al ejecutar las mismas consultas en un programa MapBasic las filas de selección en la ventana del navegador se resaltan en gris claro.
¿Existe en MapBasic un ajuste del sistema para cambiar el color de resaltado de la fila seleccionada en la ventana del navegador (ya sea a un gris más intenso o a un azul oscuro)? He consultado el manual de referencia de MapBasic, la configuración del sistema MapInfo, he buscado en Google, etc., pero no he encontrado nada.
¿Dónde podría encontrar esto en los manuales de referencia o de usuario?