OLD | NEW |
1 /** | 1 /** |
2 * This file is part of the theme implementation for form controls in WebCore. | 2 * This file is part of the theme implementation for form controls in WebCore. |
3 * | 3 * |
4 * Copyright (C) 2005, 2006, 2007, 2008, 2009, 2010, 2012 Apple Computer, Inc. | 4 * Copyright (C) 2005, 2006, 2007, 2008, 2009, 2010, 2012 Apple Computer, Inc. |
5 * | 5 * |
6 * This library is free software; you can redistribute it and/or | 6 * This library is free software; you can redistribute it and/or |
7 * modify it under the terms of the GNU Library General Public | 7 * modify it under the terms of the GNU Library General Public |
8 * License as published by the Free Software Foundation; either | 8 * License as published by the Free Software Foundation; either |
9 * version 2 of the License, or (at your option) any later version. | 9 * version 2 of the License, or (at your option) any later version. |
10 * | 10 * |
(...skipping 141 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
152 static_cast<int>(style.borderLeftWidth())) { | 152 static_cast<int>(style.borderLeftWidth())) { |
153 style.setBorderLeftWidth(borderBox.left().value()); | 153 style.setBorderLeftWidth(borderBox.left().value()); |
154 if (borderBox.left().value()) | 154 if (borderBox.left().value()) |
155 style.setBorderLeftWidth(borderBox.left().value()); | 155 style.setBorderLeftWidth(borderBox.left().value()); |
156 else | 156 else |
157 style.resetBorderLeft(); | 157 style.resetBorderLeft(); |
158 } | 158 } |
159 | 159 |
160 // Padding | 160 // Padding |
161 LengthBox paddingBox = m_platformTheme->controlPadding( | 161 LengthBox paddingBox = m_platformTheme->controlPadding( |
162 part, style.font().getFontDescription(), style.paddingBox(), | 162 part, style.font().getFontDescription(), style.padding(), |
163 style.effectiveZoom()); | 163 style.effectiveZoom()); |
164 if (paddingBox != style.paddingBox()) | 164 if (paddingBox != style.padding()) |
165 style.setPaddingBox(paddingBox); | 165 style.setPadding(paddingBox); |
166 | 166 |
167 // Whitespace | 167 // Whitespace |
168 if (m_platformTheme->controlRequiresPreWhiteSpace(part)) | 168 if (m_platformTheme->controlRequiresPreWhiteSpace(part)) |
169 style.setWhiteSpace(EWhiteSpace::kPre); | 169 style.setWhiteSpace(EWhiteSpace::kPre); |
170 | 170 |
171 // Width / Height | 171 // Width / Height |
172 // The width and height here are affected by the zoom. | 172 // The width and height here are affected by the zoom. |
173 // FIXME: Check is flawed, since it doesn't take min-width/max-width | 173 // FIXME: Check is flawed, since it doesn't take min-width/max-width |
174 // into account. | 174 // into account. |
175 LengthSize controlSize = m_platformTheme->controlSize( | 175 LengthSize controlSize = m_platformTheme->controlSize( |
(...skipping 735 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
911 // padding - not honored by WinIE, needs to be removed. | 911 // padding - not honored by WinIE, needs to be removed. |
912 style.resetPadding(); | 912 style.resetPadding(); |
913 | 913 |
914 // border - honored by WinIE, but looks terrible (just paints in the control | 914 // border - honored by WinIE, but looks terrible (just paints in the control |
915 // box and turns off the Windows XP theme) | 915 // box and turns off the Windows XP theme) |
916 // for now, we will not honor it. | 916 // for now, we will not honor it. |
917 style.resetBorder(); | 917 style.resetBorder(); |
918 } | 918 } |
919 | 919 |
920 } // namespace blink | 920 } // namespace blink |
OLD | NEW |