Revo and TinyMCE 4.0.1-rc2: Property Set / HTML

Hi folks,

I have two questions for Revo and TinyMCE 4.0.1-rc2:

1.) How can I activate a property set? Since one shall not modify the default property set but use a clone I wonder where to activate it? There does not seem to be a system wide setting. What am I missing?

2.) When I return from the "HTML"-Button-opens-the-code-window all my lines are doubled. But the code stays untouched. It’s just a "visual" thing (an the format dropdown list says "preformatted"). After saving the document (stay in edit mode), the line doubling is gone and everythings back to normal. Strange behaviour. I thought about "different line feeds for Unix/Mac/Windows" but there does not seem to be a setting for that. Again, what am I missing? Or is it a bug since TinyMCE is only "rc2" and not "final" (or "pl").

thanks
Hans