Paranext -> Platform in a couple of files that were too small to make…

… the change while renaming them
paranext · Oct 16, 2023 · 0d7d346 · 0d7d346
1 parent 15c2e29
commit 0d7d346
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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>;
 }