Andreas Stallinger d5e9cecef3 logic: scroll code when no symbol ...

Scrolling to line, when comming from plugin and the file is was modified.
Since there we dont know from the position data if the symbol on position is the right one,
we scroll to the line if modified.

2016-07-28 14:16:15 +02:00

672 B

64x64px

Raw History