Replaced mine and quarry emojis

This commit is contained in:
thepaperpilot 2023-05-14 14:20:27 -05:00
parent a1393a26d7
commit 84ecc634c4
2 changed files with 4 additions and 4 deletions

View file

@ -34,7 +34,7 @@ export function getMineHelp() {
<p>
Welcome to Planar Pioneers! Your job is to gather resources and eventually
explore and conquer increasingly difficult "planes", which are like alien
worlds. To start you'll use the mine (🪨) machine to gather resources.
worlds. To start you'll use the mine () machine to gather resources.
</p>
<br />
<p>
@ -103,7 +103,7 @@ export function getQuarryHelp() {
jsx(() => (
<div>
<p>
You've created the Quarry ()! This machine let's you gather specified
You've created the Quarry ()! This machine let's you gather specified
resources. Unlike the mine, this machine will always output the same resources.
However, rarer resources will take longer to gather.
</p>

View file

@ -58,7 +58,7 @@ import { exponentialFormat } from "util/bignum";
export const mine = {
shape: Shape.Diamond,
size: 50,
title: "🪨",
title: "⛏️",
label: node =>
node === main.board.selectedNode.value
? { text: "Mining" }
@ -352,7 +352,7 @@ export const dowsing = {
export const quarry = {
shape: Shape.Diamond,
size: 50,
title: "",
title: "",
label: node => {
if (node === main.board.selectedNode.value) {
return {