| Modifier and Type | Method and Description |
|---|---|
EditorPaddingOptions |
EditorOptions.getPadding() |
EditorPaddingOptions |
EditorOptions.getPadding() |
EditorPaddingOptions |
EditorPaddingOptions.setBottom(java.lang.Number bottom) |
EditorPaddingOptions |
EditorPaddingOptions.setBottom(java.lang.Number bottom) |
EditorPaddingOptions |
EditorPaddingOptions.setTop(java.lang.Number top) |
EditorPaddingOptions |
EditorPaddingOptions.setTop(java.lang.Number top) |
| Modifier and Type | Method and Description |
|---|---|
EditorOptions |
EditorOptions.setPadding(EditorPaddingOptions padding) |
EditorOptions |
EditorOptions.setPadding(EditorPaddingOptions padding) |
Copyright © 2011–2021. All rights reserved.