Menu ▾ ▴

Ctrl+Click in PyDev 1.3.14

Please post to StackOverflow with PyDev tag
Peter Melvyn
2008-03-15
2013-03-15

  • Peter Melvyn

    Peter Melvyn - 2008-03-15

    Hi Fabio,

    before update to version 1.3.14, I worked with 1.3.10 and in the editor I could jump to symbol's definition using Ctrl+Click. After update to 1.3.14 I am not able to achive the same functionality:
    - moving mouse over symbol while Ctrl is pressed down does not change symbol to hyperlink
    - clicking on symbol while Ctrl is pressed down does nothing

    If I switch back to 1.3.10, it works, in 1.3.14 it does not. I run Eclipse 3.2.2 on Window 2000 prof SP4.

    Did I missed enything and/or did I something incorrect during manual PyDev Update?

     

    • Fabio Zadrozny

      Fabio Zadrozny - 2008-03-15

      Hi Peter,

      That's something that became incompatible... Eclipse 3.3 provides a new API to provide the ctrl+click for plugins (which pydev did not use until 1.3.11). A bug was reported because not using that API had some problems when other plugins were used together (so, pydev was forced to upgrade to the new API).

      So, the choices you have are updating to the latest Eclipse...(pydev officially supports only eclipse 3.3 -- mostly because APIs tend to break at some point), using just F3 or keeping to an older version of pydev.

      Cheers,

      Fabio

       

    • Peter Melvyn

      Peter Melvyn - 2008-03-17

      Hi Fabio,

      thanks for your support. I updated Eclipse to 3.2.2 and everything seems to work perfectly.

      Thank you for excellent tool,

      Peter

       

    • Peter Melvyn

      Peter Melvyn - 2008-03-17

      3.3.2, indeed

       
MongoDB Logo MongoDB