Diffusion Kig c36a3ccddd6f

scripting: update Python-Kig highlight definition

Authored by pino on May 3 2020, 7:16 AM.

Description

scripting: update Python-Kig highlight definition

synchronize it from the current Python definition in
syntax-highlighting, adding our customizations on top

Details

Committed
pinoMay 3 2020, 7:16 AM
Parents
R331:a3e63345750b: scripting: properly enable line numbers
Branches
Unknown
Tags
Unknown