Trace:
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
flutterui:panel_styles [2023/03/24 11:00] admin created |
flutterui:panel_styles [2023/03/24 11:35] (current) admin |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| Next, if your component should look like an editor, you need the same background color. It's possible to set a fixed color, but this color won't look nice in other technologies? To be technology independent, simply use another style: | Next, if your component should look like an editor, you need the same background color. It's possible to set a fixed color, but this color won't look nice in other technologies? To be technology independent, simply use another style: | ||
| - | <code java>Style.addStyleNames(panel, "f_standard_border", "f_default_editorbackground");</code> | + | <code java>Style.addStyleNames(panel, "f_default_editorbackground");</code> |
| + | |||
| + | There's another style for panels: | ||
| + | |||
| + | <code java>Style.addStyleNames(panel, "f_no_scaling");</code> | ||
| + | |||
| + | This is a very special stlye, because it disables device scaling for the panel. If you don't use [[flutterui:pixel_scaling|Pixel scaling]] for your application, this style will be ignored. If you use [[flutterui:pixel_scaling|Pixel scaling]] the style can be use to turn off scaling for a specific Panel. | ||