You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
interactive command. This function is used to process the gtk+ event in case the python function takes a long time to execute, but we do not want to execute it for internal functions (in particular the one used to initialize the IO when the python console is created at startup). Found while working with the sysprof profile on linux. This is a minor speedup, but more important cleans up the profile since python.module.initialize_io was showing up as using 23.3% of the startup time, when in fact it uses 0.08% git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@93716 936e1b1b-40f2-da11-902a-00137254ae57