widgets: setBorderThickness

This commit is contained in:
raiyni
2018-09-04 20:58:33 -05:00
parent 503e4bc3b8
commit d7538791f2
3 changed files with 16 additions and 0 deletions

View File

@@ -564,4 +564,14 @@ public interface Widget
* Sets the archive id of the font
*/
void setFontId(int id);
/**
* Returns the border thickness of the widget
*/
int getBorderThickness();
/**
* Sets the border thickness of the widget
*/
void setBorderThickness(int thickness);
}