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. Regards. -- Manuel Collado - http://lml.ls.fi.upm.es/~mcollado
