File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ #! /bin/bash
2+
3+ # Ensure we are in a git repository
4+ if ! git rev-parse --is-inside-work-tree > /dev/null 2>&1 ; then
5+ echo " This is not a git repository."
6+ exit 1
7+ fi
8+
9+ # Find all files with merge conflicts
10+ conflict_files=$( git diff --name-only --diff-filter=U)
11+
12+ if [ -z " $conflict_files " ]; then
13+ echo " No merge conflicts found."
14+ exit 0
15+ fi
16+
17+ echo " Resolving conflicts by accepting current branch changes..."
18+
19+ # Iterate through each conflicted file and accept current changes
20+ for file in $conflict_files ; do
21+ echo " Accepting current changes for: $file "
22+ git checkout --ours " $file "
23+ git add " $file "
24+ done
25+
26+ # Confirm resolution
27+ echo " All conflicts resolved by accepting current branch changes."
28+ echo " You can now commit the changes."
Original file line number Diff line number Diff line change @@ -26,6 +26,7 @@ const GraphPaperComponent: React.FC = () => {
2626
2727 < div style = { { width : "100vw" , height : "100vh" , overflow : "hidden" } } >
2828 < CornerText position = "top-left" text = "Frank-Hertz Lab" />
29+ < FloatingSquare />
2930 < Canvas
3031 gl = { { antialias : true } }
3132 onCreated = { ( { gl, scene } ) => {
Original file line number Diff line number Diff line change 99 }
1010
1111 /* Tabs styling */
12- .tabs-container {
13- border-bottom : 1px solid # 000 ; /* Black border for a sleek look */
12+ .tabsContainerSticky {
13+ position : sticky; /* Ensures tabs stick to the top */
14+ z-index : 1000 ; /* Place it above other content */
15+ border-bottom : 1px solid # 000 ;
16+ padding : 20px ;
1417 background-color : white;
15- width : 100% ; /* Ensure tabs span the full container width */
16- }
18+ width : 100% ;
19+ }
1720
1821 /* Content container styling */
1922 .content-container {
7376 color : # 333 ; /* Slightly lighter text for description */
7477 text-align : center;
7578 }
76-
77- /* Tabs styling */
78- .tabs-container {
79- border-bottom : 1px solid # 000 ; /* Black border for a sleek look */
80- padding : 16px ;
81- background-color : white;
82- }
79+
8380
8481 .MuiTabs-indicator {
8582 background-color : # 000 ; /* Black indicator under the active tab */
Original file line number Diff line number Diff line change @@ -76,7 +76,7 @@ const Dashboard: React.FC = () => {
7676
7777 return (
7878 < div className = "dashboard-container" >
79- < Box className = "tabs-container " >
79+ < Box className = "tabsContainerSticky " >
8080 < Tabs value = { activeTab } onChange = { handleTabChange } aria-label = "lab tabs" >
8181 < Tab label = "Your Active Labs" />
8282 < Tab label = "Available Labs" />
You can’t perform that action at this time.
0 commit comments