Minecraft wiki entry for Widgets.png, associated text: gui.png is a fixed-width 256×256-pixel file containing textures of most widgets, including hotbar and selection, and unused red, green, and gray circles, crosshair (used one in icons.png), and old notification symbols for Realms.