377
edits
m (Add markup to trigger user notification) |
|||
Line 49: | Line 49: | ||
—[[User:Johan G|Johan G]] ([[User_talk:Johan_G|Talk]] | [[Special:Contributions/Johan_G|contribs]]) 16:15, 25 November 2019 (EST) | —[[User:Johan G|Johan G]] ([[User_talk:Johan_G|Talk]] | [[Special:Contributions/Johan_G|contribs]]) 16:15, 25 November 2019 (EST) | ||
: Hi Johan G, | : Hi [[User:Johan G|Johan G]], | ||
: | : | ||
: Thanks for caring and taking the time to write all this, I won't re-add the id, but am not very happy with the change. In my opinion, such explicitly-declared ids/anchors are much better than automatically-created anchors based on the title, because the title can change for various reasons (wording, spelling...) and this would break links using automatic anchors. In fact, your edit broke a link I had just made [https://github.com/frougon/pythondialog/issues/7#issuecomment-557870885 on GitHub]. I had to edit my comment there to fix the link. | : Thanks for caring and taking the time to write all this, I won't re-add the id, but am not very happy with the change. In my opinion, such explicitly-declared ids/anchors are much better than automatically-created anchors based on the title, because the title can change for various reasons (wording, spelling...) and this would break links using automatic anchors. In fact, your edit broke a link I had just made [https://github.com/frougon/pythondialog/issues/7#issuecomment-557870885 on GitHub]. I had to edit my comment there to fix the link. |
edits