Author Topic: What is this symbol ?  (Read 1590 times)

bruno_costacurta

  • Junior Community Member
  • Posts: 6
  • Hero Points: 0
What is this symbol ?
« on: October 09, 2020, 03:03:09 PM »
Hello

I got some symbols in the line number zone.
Please see attached printscreen.
I got them as I select items in the Defs but they are misplaced regarding the symbol selected.
Why ?
How to manage / remove them individually and / or completely ?

Thanks for any clue or help.
Bruno


patrick

  • SlickEdit Team Member
  • Senior Community Member
  • *
  • Posts: 1818
  • Hero Points: 151
Re: What is this symbol ?
« Reply #1 on: October 09, 2020, 03:29:29 PM »
When you double click on something in the defs window, it does a push-tag, so it records the place where the cursor is before jumping to the definition.  That mark shows the saved position.  If you press Ctrl-, to pop-tag, you'll jump back to the place your cursor started at. 

For instance, if you have your cursor on the line with "$help", and you double click on the $input_file entry in defs, the mark should show up on the line with $help, and Ctrl-, should return you to that line.

You can change it to not add marks to the gutter for pushed bookmarks, by unchecking the "Show pushed bookmarks" setting under Tools -> Options -> Editing -> Bookmarks.  That won't clear any existing marks, but will make it so future push-tag's won't add any more marks. 



bruno_costacurta

  • Junior Community Member
  • Posts: 6
  • Hero Points: 0
Re: What is this symbol ?
« Reply #2 on: October 09, 2020, 04:31:06 PM »
Many thanks for your help and clear explanations.
I'm now able to better manage these bookmarks behaviour.
I also notice this push-bookmark can also be automatically set on specific cursor, eg. move as top/bottom current buffer.

(note : I think correct command is 'pop-bookmark' and not 'pop-tag', but anyway I understand better how it works, I'll try to study 'pop-tag' later)

Again thanks.
Bruno

patrick

  • SlickEdit Team Member
  • Senior Community Member
  • *
  • Posts: 1818
  • Hero Points: 151
Re: What is this symbol ?
« Reply #3 on: October 09, 2020, 04:35:42 PM »
It is pop-bookmark.  Mistake on my part.