kolodny

// Simple proxy/forwarding server for when you don't want to have to add CORS during development.

// Usage: node proxy.js
//    Open browser and navigate to http://localhost:9100/[url]
//      Example: http://localhost:9100/http://www.google.com

// This is *NOT* for anything outside local development. It has zero error handling among other glaring problems.

// This started as code I grabbed from this SO question: http://stackoverflow.com/a/13472952/670023

gabrielpetersson

import { FC, useState } from "react";
import styled from "styled-components";
import { useAppSelector } from "../../state";
import { selectActiveTab } from "../../state/selectors";
import { colors } from "../../styles";
import { assertNever } from "../../util";
import { ConnectedModulesPage } from "../modules/ModulesPage";
import styles from "./MainView.module.scss";
import { TablesPage } from "./TablesPage";