User Hotspot Notification in Console

[jimfoltz]

Since it is possible to create hotspot styles in the console, would it be possible to have a console hotspot click callback?

For example, I can write a hostspot using:

def write_styled(txt):
 mask = 7
 style = 2
 cons_ed = console.editor
 pos = console.editor.getLength()
 console.write(txt)
 cons_ed.setReadOnly(0)
 cons_ed.startStyling(pos, mask)
 cons_ed.setStyling(len(txt), style)

Then I tried:

console.editor.callback(myHotSpotFunc, [SCINTILLANOTIFICATION.HOTSPOTCLICK])

But this does not appear to be supported.

[bruderstein]

Callbacks from the console scintilla are currently not supported. It'd be nice to have though, and there's no reason this couldn't be implemented now.

How should this be done? Using a third notification group, something like CONSOLENOTIFICATION.HOTSPOTCLICK?