Viewing 3 posts - 1 through 3 (of 3 total)
  • Author
    Posts
  • May 28, 2012 at 12:03 am #10383
    Stefan
    Participant

    For an better visual feedback which lines are bookmarked,
    i think it could be an good idea to add “Bookmarked line”
    to the “Tools > Properties… > Display” list?

    As addition i would suggest to add also an toggle
    “Edit > Bookmarks > Highlight bookmarked lines”

    .

    June 4, 2013 at 7:43 am #11131
    Andreas
    Participant

    +1

    June 7, 2013 at 8:58 pm #11143
    urlwolf
    Member

    +1

  • Author
    Posts
Viewing 3 posts - 1 through 3 (of 3 total)
  • You must be logged in to reply to this topic.