I believe that I am talking about the EVN editor. As I mentioned, I defined a ui:instanceView on a specific class, and gave it a higher priority than anything that shows up in rdfs:Resource, but it doesn't get selected and doesn't even show up in the pull down of possible views. I wonder if maybe I am still confused about how views are selected but thought that topbraid would only traverse up the hierarchy if it didn't find a ui:instanceView close to the class. In this case I have defined the ui:instanceView one level up from the class.
Jack On Sunday, July 20, 2014 4:19:54 PM UTC-7, Holger Knublauch wrote: > > On 7/21/2014 1:22, Jack Hodges wrote: > > 3. It would be nice to have an undo history. The current undo seems to > > be a toggle (most current action). Most editors these days keep some > > history of actions that can be undone and that would be most helpful. > > Thanks for your feedback. On your item above, I don't quite understand > what you mean. For example when I change an rdfs:label via TBC from > "Label1" to "Label2" to "Label3" and then press undo, it will walk the > whole change history backwards, not just toggle. > > So maybe you are talking about the Undo implemented in EVN? That is > indeed just a toggle, because performing an "undo" will in fact create a > forward entry in the teamwork change history. > > Holger > > -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en --- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
