#473
  • Created on
    2009-11-19 21:57
  • Reported by
    Vlad Dumitrescu
  • Status
    Fixed
  • Priority
    Normal (3)
  • Assigned to
    -
  • Milestone
    backlog
  • Plan Level
    -
  • Permission type
    None
  • Estimate
    None/Small/Medium/Large None
  • Due Date
    -

Attachments

Related Tickets

Add new subtask or bug

navigation: intermittent problems

This happens in 0.7.0
We get intermittent problems, where it seems that the scanner/parser don't keep up with the editor.

Put cursor on a function call, press F3, nothing happens, press F3 again and it works fine.
or
F3 doesn't work at all (after having been working a lot in a file), but after saving the file all is well again.

Perhaps related: user reported that at the same time, the syntax highlighting was out of sync. Saving the file helped.

I can't reproduce it myself, but have seen it on an user's screen.
User picture
  on 2009-11-21 04:19 *
By Vlad Dumitrescu
Milestone changed from v0.8 to planned work
Milestone changed from v0.8 to planned work
Updating tickets (#113, #323, #325, #386, #291, #384, #176, #177, #409, #434, #444, #473, #358, #373, #401, #427, #431, #432, #460, #462, #466)
User picture
  on 2010-05-31 14:40 *
By Vlad Dumitrescu
Priority changed from High (2) to Normal (3)
Priority changed from High (2) to Normal (3)
Updating tickets (#503, #529, #40, #43, #120, #157, #179, #211, #222, #228, #326, #379, #451, #459, #523, #524, #530, #559, #535, #176, #177, #386, #389, #409, #434, #473, #41, #52, #62, #64, #83, #93, #115, #135, #145, #149, #155, #159, #163, #181, #194, #199, #200, #208, #210, #219, #224, #261, #265, #274, #281, #283, #285, #294, #298, #316, #318, #331, #332, #335, #336, #358, #375, #383, #394, #398, #412, #413, #415, #422, #423, #424, #425, #432, #440, #442, #443, #446, #448, #449, #450, #452, #454, #460, #464, #471, #474, #479, #483, #484, #492, #497, #506, #510, #512, #516, #519, #521, #536, #537, #541, #543, #546, #555, #556, #561, #564, #565, #291, #431, #502, #520, #522, #532, #469, #42, #44, #69, #87, #132, #195, #234, #255, #264, #313, #387, #419, #421, #428, #439, #488, #489, #558, #123, #433, #80, #113, #137, #242, #349, #455, #46, #58, #61, #76, #89, #95, #116, #121, #152, #168, #169, #170, #175, #188, #205, #218, #223, #237, #240, #241, #252, #276, #317, #339, #340, #351, #354, #364, #366, #372, #374, #377, #380, #405, #407, #410, #429, #430, #436, #437, #438, #445, #447, #470, #477, #478, #493, #494, #495, #498, #499, #511, #545, #548, #562, #563, #373, #401, #475, #560, #53, #84, #98, #99, #106, #117, #118, #166, #216, #249, #314, #321, #328, #359, #463, #485, #134, #100, #156, #427, #554, #551, #552, #550, #553, #129, #131, #231, #114, #323, #325, #119, #130, #164, #182, #235, #238, #239, #244, #378, #392, #411, #465, #508, #514, #515, #517, #557, #54, #67, #68, #101, #144, #160, #416, #528)
User picture
  on 2010-05-31 15:47 *
By Vlad Dumitrescu
Priority changed from Normal (3) to Highest (1)
Priority changed from Normal (3) to Highest (1)
Updating tickets (#561, #535, #386, #389, #431, #473, #502, #532, #469)
User picture
  on 2010-05-31 17:33 *
By Vlad Dumitrescu
Milestone set to backlog
Milestone set to backlog
Updating tickets (#114, #373, #386, #431, #473, #502, #532, #325, #529, #553, #176, #177, #291, #323, #401, #409, #434, #491, #496, #503, #520, #560, #567, #569, #475, #550)
User picture
  on 2011-03-03 19:39 *
By Vlad Dumitrescu
Priority changed from Highest (1) to Normal (3)
Priority changed from Highest (1) to Normal (3)
Updating tickets (#737, #242, #364, #373, #411, #473, #561, #218, #339, #358, #422, #423, #424, #425, #428, #432, #535, #543, #599, #636, #671, #684, #693, #694, #699, #41, #52, #64, #83, #93, #120, #149, #157, #163, #177, #179, #194, #195, #219, #222, #228, #261, #274, #281, #283, #285, #298, #318, #335, #349, #351, #375, #379, #383, #401, #405, #409, #412, #413, #434, #442, #449, #450, #451, #454, #460, #471, #492, #523, #537, #555, #559, #574, #577, #581, #598, #603, #615, #619, #632, #634, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #667, #673, #674, #679, #685, #695, #696, #700, #705, #707, #709, #716, #719, #720, #722, #728, #736, #738, #741, #743, #744, #746, #759, #760, #761, #762, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #779, #780, #786, #788, #789, #790, #791, #159, #372, #443, #479, #564, #601, #610, #622, #677, #429, #489)
User picture
User picture
  on 2011-03-04 16:01 *
By Vlad Dumitrescu
Status changed from New to Fixed
Status changed from New to Fixed
This problem wasn't seen for a long time.