<p></p>
<p>I've got two remarks:</p>
<ul>
<li>the Addons plugin already has a similar feature (<a href="https://plugins.geany.org/addons.html#copy-file-path" rel="nofollow">https://plugins.geany.org/addons.html#copy-file-path</a>). The functionality is a menu item in the <code>Tools</code> instead of the notebook tab menu but additionally provides a keyboard shortcut.</li>
<li>since this PR would add three additional menu items to the menu and this almost doubles the alway fixed menu items, I think this should be configurable or reduce it to just copying the file path (as in the Addons plugin)</li>
</ul>
<p>Since the implementation in the Addons plugin and this PR are quite similar but in detail also different, I suggest to merge them and have <em>one</em> implementation of this feature.<br>
Maybe it's worth to extract the feature from the Addons plugin and make it a seperate, stand-alone plugin instead.<br>
I don't know how easy it would be to access the notetook tab menu from the plugin API but I guess it is possible or we just extend the API if necessary.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/2550#issuecomment-660448482">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJZMN5E6IE6LTUWAWHLR4FLNFANCNFSM4O6VNGHQ">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AAIOWJ3LGW4YOT5FZ5IKIDDR4FLNFA5CNFSM4O6VNGH2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOE5O2JYQ.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2550#issuecomment-660448482",
"url": "https://github.com/geany/geany/pull/2550#issuecomment-660448482",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>