Manuel Collado wrote: > Hussein Shafie escribi?: >> Ulrich_Laegeler at arburg.com wrote: >>> >>> how can i refresh the display if i have opened a xml-file and >>> do parallel developing a css. Ctrl+L doesn't help. >> >> See http://www.xmlmind.com/xmleditor/_distrib/doc/help/viewMenu.html : >> >> ``Below the above menu item, a menu item is added for each CSS style >> sheet available for current document. Selecting the name of a style >> sheet causes the document view to use this style sheet. If a document >> view already uses the selected style sheet, the style sheet is >> reloaded from its file (which is very handy when developing a new CSS >> style sheet).'' > > IMHO, it would be even more handy if the set of selectable stylesheets > includes both global configured stylesheets and local <?xml-stylesheets > ...> referenced ones. The [_] ignore <?xml-stylesheets ...> option could > be changed to just give preference to one of those sets, without fully > ignoring the other.
That makes sense. Thank you for the suggestion.
