Skip to content
This repository was archived by the owner on Aug 5, 2019. It is now read-only.
This repository was archived by the owner on Aug 5, 2019. It is now read-only.

Let GWT handle style names. #22

Open
@dominikmayer

Description

@dominikmayer

I'm not sure we want this but I think we should talk about it:

Right now we add Strings of all the bootstrap style names to the Widgets. There will be conflicts if the user has a similarly named style. The solution would be to let GWT handle the style names and refer to them via CSSResource (https://developers.google.com/web-toolkit/doc/latest/DevGuideClientBundle). I think we would have to deactivate obfuscation because bootstrap.js probably relies on the correct names.

In this case it should also be easier to deal with changes in bootstrap because we would probably get compile time errors if a referenced style is not in the css file.

What do you think?

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions