<div dir="ltr"><div><div><div><div><div><div>Speaking with Riccardo, we have to carefully considerate if we want to create global or "local" labels.<br><br></div>Global label would have a format like: namespace/label.<br></div>Otherwise local label would be linked to the name of the page: page_name/label.<br><br></div>The global alternative has the pro that it would be really useful for user, who wouldn't have to remember the page name, but it would be against mediawiki structure.<br></div>On the contrary local labels would be only a magic word for anchors, usable by ocg, but would be more direct.<br><br></div>Personally I'm for global labels with strict rules for namespaces. Another alternative could be using only the root page name. <br></div><div>For example if I have to link: Mechanics/Newton/Force/equation1 we could use label=Mechanics/equation1.<br><br></div><div>Davide<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-01-31 5:22 GMT+01:00 Russell Greene <span dir="ltr"><<a href="mailto:russellgreene8@gmail.com" target="_blank">russellgreene8@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>So the design we decided on was a global database that holds the "labels" that define important concepts/definitions/theorem/etc. These can easily be referenced by doing: <ref label="your label">...</ref>. </div><div><br></div>I have made quite a lot of progress on this. (also see <a href="https://phabricator.kde.org/T746" target="_blank">https://phabricator.kde.org/T746</a>)<div><br></div><div>There are a few concerns though:</div><div><br></div><div>- VisualEditor. We would want to implement a way to let VisualEditor know that this exists. </div><div>- Breaking references accidentally. This seems like it could become a maintenance burden, but at the same time the system should be smart enough to move references on page moves and warn on page delete.</div><div><br></div><div>Is this a feature that would be useful? Give me your input.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>-Russell</div></font></span><div><div class="h5"><br><div class="gmail_quote"><div dir="ltr">On Mon, Jan 18, 2016 at 8:48 AM Riccardo Iaconelli <<a href="mailto:riccardo@kde.org" target="_blank">riccardo@kde.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Monday, January 18, 2016 10:00:37 AM Gianluca Rigoletti wrote:<br>
> However, this method could lead to problems when the<br>
> referencing pages aren't in the same book, so for now I don't know, it<br>
> was just a thought.<br>
<br>
This should be OK, if you don't include references, things will break (this<br>
also happens logically, if you reference some text that doesn't exist in the<br>
book). Or, if you are smart enough, you can print out a link (i.e. page name<br>
with hyperlink to the entity or something similar) that people can look up for<br>
themselves.<br>
<br>
Instead, I agree that a nice syntax for this intra-wiki reference could be<br>
something like:<br>
<content-ref page=PageName/EntityName /><br>
<br>
I still don't have any preference for this syntax or what Russell proposed,<br>
which are very similar.<br>
<br>
The only problem that I can foresee for now (and needs a little thought) is:<br>
* what happens if a page gets moved?<br>
* what happens if the ref gets updated? how do we proceed to do updates<br>
database-wise?<br>
<br>
I don't really have a solution for that, but it is also due to my lack of<br>
knowledge of how MediaWiki does things internally...<br>
<br>
Be also careful with hovering and accessibility, or usage from a touch-based<br>
device. These interactions are always tricky. :-)<br>
<br>
...just my two cents!<br>
<br>
For the rest, kudos for your work, this is something we really really need!<br>
<br>
Bye,<br>
-Riccardo<br>
<br>
_______________________________________________<br>
WikiToLearn-Tech mailing list<br>
<a href="mailto:WikiToLearn-Tech@kde.org" target="_blank">WikiToLearn-Tech@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/wikitolearn-tech" rel="noreferrer" target="_blank">https://mail.kde.org/mailman/listinfo/wikitolearn-tech</a><br>
</blockquote></div></div></div></div>
<br>_______________________________________________<br>
WikiToLearn-Tech mailing list<br>
<a href="mailto:WikiToLearn-Tech@kde.org">WikiToLearn-Tech@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/wikitolearn-tech" rel="noreferrer" target="_blank">https://mail.kde.org/mailman/listinfo/wikitolearn-tech</a><br>
<br></blockquote></div><br></div>