Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/5zig/The-5zig-Mod
/ setHeaderPadding
Method
setHeaderPadding
Minecraft-Utils/1.13/src/GuiList.java:610–613 ·
view source on GitHub ↗
(int headerPadding)
Source
from the content-addressed store, hash-verified
608
}
609
610
@Override
611
public
void
setHeaderPadding(
int
headerPadding) {
612
a(headerPadding > 0, headerPadding);
613
}
614
615
@Override
616
public
String getHeader() {
Callers
nothing calls this directly
Calls
1
a
Method · 0.95
Tested by
no test coverage detected