From 0d7d34679761d5d7d38f3fcc5cb48e603ebf0419 Mon Sep 17 00:00:00 2001
From: tjcouch-sil <tj_couch@sil.org>
Date: Mon, 16 Oct 2023 16:59:19 -0500
Subject: [PATCH] Paranext -> Platform in a couple of files that were too small
 to make the change while renaming them

---
 .../components/docking/platform-panel.component.css         | 4 ++--
 .../components/docking/platform-panel.component.tsx         | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/renderer/components/docking/platform-panel.component.css b/src/renderer/components/docking/platform-panel.component.css
index 561c8b9009..9e5fb40c08 100644
--- a/src/renderer/components/docking/platform-panel.component.css
+++ b/src/renderer/components/docking/platform-panel.component.css
@@ -1,11 +1,11 @@
-.paranext-panel {
+.platform-panel {
   width: 100%;
   height: 100%;
   display: flex;
   flex-direction: column;
 }
 
-.paranext-panel iframe {
+.platform-panel iframe {
   width: 100%;
   height: 100%;
   border: 0;
diff --git a/src/renderer/components/docking/platform-panel.component.tsx b/src/renderer/components/docking/platform-panel.component.tsx
index 31520ab390..bfb3ddb6ff 100644
--- a/src/renderer/components/docking/platform-panel.component.tsx
+++ b/src/renderer/components/docking/platform-panel.component.tsx
@@ -2,9 +2,9 @@ import { ReactNode } from 'react';
 import './platform-panel.component.css';
 
 /**
- * Used for possible styling on every panel in Paranext
+ * Used for possible styling on every panel in Platform
  * @param children The children of the panel (usually supplied from an extension)
  */
-export default function ParanextPanel({ children }: { children: ReactNode }) {
-  return <div className="paranext-panel">{children}</div>;
+export default function PlatformPanel({ children }: { children: ReactNode }) {
+  return <div className="platform-panel">{children}</div>;
 }