Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/5zig/The-5zig-Mod
/ setHeaderPadding
Method
setHeaderPadding
Minecraft-Utils/1.10/src/GuiList.java:628–631 ·
view source on GitHub ↗
(int headerPadding)
Source
from the content-addressed store, hash-verified
626
}
627
628
@Override
629
public
void
setHeaderPadding(
int
headerPadding) {
630
a(headerPadding > 0, headerPadding);
631
}
632
633
@Override
634
public
String getHeader() {
Callers
nothing calls this directly
Calls
1
a
Method · 0.95
Tested by
no test coverage detected