Server ports can be added after a ':'. For example:
25565 is used if no port is set.
It was originally intented for Minecraft, but it works for other servers as well.
- Double-click the patcher.
- If you would like Better Grass (full grass texture on the sides of grass blocks next to other grass blocks), check the box next to Better Grass.
- Click Patch. You do not need to select a texture pack at this point.
- Start the game.
- Click Mods and Texture Packs.
- Click Open Texture Packs folder. If nothing happens, just go to the texturepacks folder in .minecraft instead.
- Copy all your texture packs into that folder.
- Enjoy switching between texture packs without repatching the game!
If you're a modder, feel free to decompile this and learn how to make mods work with it. Inherit BaseMod and override any methods as necessary. The mod's main class file should be prefixed with 'mod_'.