> The one objection I have - which I know you don't agree with - is to name > them "$:/core/images..." because they are not core. The problem is that > someone can import a few of those icons, then create a plublic plugin that > transcludes the icon because he reasons that "It's core, so everyone has > this icon!".
I don't really have a fixed mindset about that. To be honest, in my private wikis I don't prefix my images with "$:/core/images/" prefix. I was thinking about a casual user - because it's a public resource - that will be easier for him to find all system images in one place. I thought about the "$:/image/" prefix initially but again I didn't want to confuse users especially if they use the explorer tab. I guess this discussion remains open. I want to make a decision that is good for most. Maybe if others would share their opinion about that. > The problem is that someone can import a few of those icons, then create a plublic plugin that transcludes the icon because he reasons that "It's core, so everyone has this icon!". I don't think this will be a problem for me. It's a public and free resource and I guess anyone has the right to do that. > Besides... we're talking 30+ images vs 1500+ so either they are special, in which case they are treated in a special way, or they not special in which case they are basically insignificant. >From a technical perspective, my images are not special. That was the idea in the first place. One can easily make separate lists with the help of tags or prefix filters. I just want users to use them in their daily work :-) -- You received this message because you are subscribed to the Google Groups "TiddlyWikiDev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywikidev. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywikidev/74782764-224b-43d1-ba5b-edefa65e5b71%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
