advice2020 left a comment (geany/geany-plugins#1579) @Skif-off Nope Before making my original thread post I tested those out. Those are actually used for "Bookmarks" which are being referred to as "marker" in this case. Not for "marks" (word highlights) See you slightly disagreed with my mentioning of terminology in my other post, but your assumption is proving my point about inconsistent terminology used :) (To me, just could be confusing to users if elements are referred to with different names throughout the program)
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/issues/1579#issuecomment-4849327979 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/issues/1579/[email protected]>
