void update_handler() { if (in_update || (locked > 0)) { needs_update = true; return; } update_ranges (); if (SymbolTableChanged != null) SymbolTableChanged (); }