* SUMMARY Unify PrettyPrinting and UserInterface resources. Step 1, update them so they are equivalent. Step 2, remove the script and just have the PrettyPrinting Tool use UserInterface resources. These fixes are the "misc" changes from Bug 141692 by Tobias Reiss.
<rdar://problem/20624619>
Created attachment 251194 [details] [PATCH] Proposed Fix
Comment on attachment 251194 [details] [PATCH] Proposed Fix Never mind this, I'm just going to do everything all at once, since it is rather easy.
Created attachment 251198 [details] [PATCH] Proposed Fix
Created attachment 251200 [details] [PATCH] Proposed Fix
Comment on attachment 251200 [details] [PATCH] Proposed Fix Good call.
Comment on attachment 251200 [details] [PATCH] Proposed Fix Clearing flags on attachment: 251200 Committed r183043: <http://trac.webkit.org/changeset/183043>
All reviewed patches have been landed. Closing bug.