New API convenience feature

  • Hey there, I have a small convenience/improvement request.

    I was just searching for the correct spelling of something on the API ( Since it's not something I type often, I double-clicked it to get the right spelling.  But that unfortunately also pulls in the type, so when pasting it comes out like this:


    Not something big - but it was a nice function of the old API !