search

GaloisInc / FiveUI

Extensible UI Analysis in your browser
Other
29 stars 1 forks source link

Sandbox the UI #4

Closed elliottt closed 11 years ago

elliottt commented 11 years ago

There's probably a way to separate the jquery-ui that we inject for the FiveUI dialog that doesn't interfere with a jquery-ui that's already on the page. As things stand, we get funny behavior when the UI is injected into a page that already uses jquery-ui.

elliottt commented 11 years ago

It looks like the only way we can get around this is by styling the UI manually; css in the page will always affect our UI, and the css we insert will affect the page. Maybe the right path forward is a UI that doesn't rely on JQuery-UI.

elliottt commented 11 years ago

We now style the UI manually, and no longer inject jquery-ui.