Komodo edit 12 not checking python syntax

Sorry for such a simple question. Prior versions of Komodo Edit have automatically checked python 2.x for syntax errors. I cannot make 12.0.1 do this. What silly thing am I missing?

@John_Nevius, is it disabled in your preferences? Edit menu (Komodo menu on OSX) > Preferences > Syntax & Spell checking

If it is, share your logs: Help menu > Troubleshooting > View Log File

Here is some sample code:
while True
print “WTF”

Log File:
[2020-07-28 12:24:36,351] [INFO] Startup: Welcome to Komodo Edit 12.0.1 build 18441 (platform win32-x86, running on Windows post2012Server version 6.3.9600)
[2020-07-28 12:24:36,351] [INFO] Startup: C:\Program Files (x86)\ActiveState Komodo Edit 12\lib\mozilla\komodo.exe built on Tue Feb 11 04:14:27 2020
[2020-07-28 12:24:38,400] [WARNING] console-logger: mutating the [[Prototype]] of an object will cause your code to run very slowly; instead create the object with the correct initial [[Prototype]] value using Object.create (1) in resource://gre/modules/Preferences.jsm:381
[2020-07-28 12:24:38,637] [WARNING] root: [object Object].logging has been converted to a CommonJS module; use require(“ko/logging”) instead (since Komodo 9.0.0a1).
@chrome://komodo/content/komodo.js:48:1

[2020-07-28 12:24:40,131] [WARNING] keybindings: [Ctrl+0] was used for ‘cmd_goToQuickBookmark_0’, overriding to use ‘cmd_fontZoomReset’
[2020-07-28 12:24:41,492] [WARNING] ko.widgets: Pref path doesn’t exist: windowWorkspace, 1
[2020-07-28 12:24:41,492] [WARNING] ko.widgets: Can’t load ‘ui.tabs.sidepanes.state’ from ‘prefpath’: windowWorkspace,1
[2020-07-28 12:24:41,980] [INFO] koInitService: Adding pre startup service for ‘koFileStatusService’: ‘@activestate.com/koFileStatusService;1’
[2020-07-28 12:24:42,028] [INFO] elastic_tabstops: Elastic tabstops loaded.
[2020-07-28 12:24:43,059] [ERROR] CT::margin.js: couldn’t get the insert-color
– EXCEPTION START –
TypeError: this.view.scheme.getInterfaceStyleRaw is not a function

  • stack
    exports.MarginController.prototype._initMarkerStyles@chrome://trackchanges/content/margin.js:59:32
    refreshMarginProperies@chrome://trackchanges/content/margin.js:120:9
    MarginController@chrome://trackchanges/content/margin.js:44:5
    exports.ChangeTracker.prototype.changeTrackingOn@chrome://trackchanges/content/tracker.js:63:19
    ChangeTracker@chrome://trackchanges/content/tracker.js:27:5
    this.onViewOpenedHandler@chrome://trackchanges/content/trackchanges.js:88:26
    this.init/<@chrome://trackchanges/content/trackchanges.js:49:13
    this.init@chrome://trackchanges/content/trackchanges.js:46:1
    xtk.domutils.fireEvent@chrome://xtk/content/domutils.js:187:5
    onloadDelay/<@chrome://komodo/content/komodo.js:467:9
    – EXCEPTION END –
    [2020-07-28 12:24:43,059] [ERROR] CT::margin.js: couldn’t get the delete-color
    – EXCEPTION START –
    TypeError: this.view.scheme.getInterfaceStyleRaw is not a function
  • stack
    exports.MarginController.prototype._initMarkerStyles@chrome://trackchanges/content/margin.js:65:32
    refreshMarginProperies@chrome://trackchanges/content/margin.js:120:9
    MarginController@chrome://trackchanges/content/margin.js:44:5
    exports.ChangeTracker.prototype.changeTrackingOn@chrome://trackchanges/content/tracker.js:63:19
    ChangeTracker@chrome://trackchanges/content/tracker.js:27:5
    this.onViewOpenedHandler@chrome://trackchanges/content/trackchanges.js:88:26
    this.init/<@chrome://trackchanges/content/trackchanges.js:49:13
    this.init@chrome://trackchanges/content/trackchanges.js:46:1
    xtk.domutils.fireEvent@chrome://xtk/content/domutils.js:187:5
    onloadDelay/<@chrome://komodo/content/komodo.js:467:9
    – EXCEPTION END –
    [2020-07-28 12:24:43,059] [ERROR] CT::margin.js: couldn’t get the change-color
    – EXCEPTION START –
    TypeError: this.view.scheme.getInterfaceStyleRaw is not a function
  • stack
    exports.MarginController.prototype._initMarkerStyles@chrome://trackchanges/content/margin.js:71:33
    refreshMarginProperies@chrome://trackchanges/content/margin.js:120:9
    MarginController@chrome://trackchanges/content/margin.js:44:5
    exports.ChangeTracker.prototype.changeTrackingOn@chrome://trackchanges/content/tracker.js:63:19
    ChangeTracker@chrome://trackchanges/content/tracker.js:27:5
    this.onViewOpenedHandler@chrome://trackchanges/content/trackchanges.js:88:26
    this.init/<@chrome://trackchanges/content/trackchanges.js:49:13
    this.init@chrome://trackchanges/content/trackchanges.js:46:1
    xtk.domutils.fireEvent@chrome://xtk/content/domutils.js:187:5
    onloadDelay/<@chrome://komodo/content/komodo.js:467:9
    – EXCEPTION END –
    [2020-07-28 12:24:43,368] [WARNING] console-logger: mutating the [[Prototype]] of an object will cause your code to run very slowly; instead create the object with the correct initial [[Prototype]] value using Object.create (1) in file:///C:/Program%20Files%20(x86)/ActiveState%20Komodo%20Edit%2012/lib/mozilla/components/koamAddonManager.js:138
    [2020-07-28 12:24:45,654] [INFO] koInitService: Adding pre startup service for ‘KoMemoryReporter’: ‘@activestate.com/koMemoryReporter;1’
    [2020-07-28 12:24:45,668] [INFO] koInitService: Adding pre startup service for ‘koCommandmentService’: ‘@activestate.com/koCommandmentService;1’
    [2020-07-28 12:24:47,573] [WARNING] console-logger: Key event not available on GTK2: key=“u” modifiers=“control,shift” (1) in chrome://komodo/content/komodo.xul:0
    [2020-07-28 12:26:45,055] [WARNING] console-logger: Key event not available on GTK2: key=“u” modifiers=“control,shift” (1) in chrome://komodo/content/tail/tail.xul:0