]> source.dussan.org Git - vaadin-framework.git/commit
projects / vaadin-framework.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d05736) | patch
Dynamically adjust window content paddings (#8313)
authorLeif Åstrand <leif@vaadin.com>
Fri, 9 Mar 2012 11:38:12 +0000 (13:38 +0200)
committerLeif Åstrand <leif@vaadin.com>
Fri, 9 Mar 2012 11:38:12 +0000 (13:38 +0200)
commit1c455b5a922037f97ad471bbd8ca907f0c067dff
tree959258d41958a48df6b389485144985f65c84fc1tree | snapshot
parent7d05736b74e898d679ece44c984c870ee50c0e51commit | diff
Dynamically adjust window content paddings (#8313)

This enables easy support for e.g. header height based on font size
and footer height changing if resizing is disabled.
WebContent/VAADIN/themes/base/window/window.css diff | blob | history
WebContent/VAADIN/themes/chameleon/components/window/window.css diff | blob | history
WebContent/VAADIN/themes/reindeer/window/window.css diff | blob | history
WebContent/VAADIN/themes/runo/window/window.css diff | blob | history
src/com/vaadin/terminal/gwt/client/ui/VWindow.java diff | blob | history
src/com/vaadin/terminal/gwt/client/ui/WindowConnector.java diff | blob | history
Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework