Trace: • Panel styles
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
flutterui:panel_styles [2023/03/24 11:01] admin |
flutterui:panel_styles [2023/03/24 11:35] (current) admin |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| <code java>Style.addStyleNames(panel, "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. | ||