during redisplay. (octave-goto-function-definition, octave-find-definition): Minor tweaks.
Attach a file by drag & drop or click to upload
