From e7af566ed0816569c4a348a22f7e1fcd36d7ef07 Mon Sep 17 00:00:00 2001 From: Tim Sinaeve Date: Wed, 12 Nov 2025 11:10:54 +0100 Subject: [PATCH] Reduce padding in edit repository pane --- components/modals/RepoFormModal.tsx | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/components/modals/RepoFormModal.tsx b/components/modals/RepoFormModal.tsx index 8551cb0..b9f614f 100644 --- a/components/modals/RepoFormModal.tsx +++ b/components/modals/RepoFormModal.tsx @@ -2867,7 +2867,7 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor const renderTabContent = () => { if (!('id' in formData)) { - return
Please save the repository to access advanced features.
+ return
Please save the repository to access advanced features.
} switch(activeTab) { case 'tasks': @@ -2895,11 +2895,11 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor /> ))} {(formData.tasks || []).length === 0 && ( -

No tasks created yet.

+

No tasks created yet.

)} -
+
{selectedTask ? ( ) : ( @@ -2912,10 +2912,10 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor ); case 'history': if (!supportsHistoryTab) { - return
History is only available for Git or SVN repositories.
; + return
History is only available for Git or SVN repositories.
; } return ( -
+
= ({ onSave, onCancel, repositor ); case 'branches': { if (!supportsBranchTab) { - return
Branch management is only available for Git or SVN repositories.
; + return
Branch management is only available for Git or SVN repositories.
; } const selectedBranchCount = selectedBranches.length; const selectedLocalCount = selectedBranches.filter(selection => selection.scope === 'local').length; @@ -3007,7 +3007,7 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor })(); return (
-
+
{branchesLoading &&

Loading branches...

} {!hasBranches && !branchesLoading && (

No branches found. This may be a new repository.

@@ -3189,10 +3189,10 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor ); } case 'releases': - if (!isGitHubRepo) return
Release management is only available for repositories hosted on GitHub.
; + if (!isGitHubRepo) return
Release management is only available for repositories hosted on GitHub.
; if (editingRelease) { return ( -
+

{editingRelease.isNew ? 'Create New Release' : 'Edit Release'}

@@ -3275,7 +3275,7 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor ) } return ( -
+

GitHub Releases

@@ -3283,7 +3283,7 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor {releasesLoading &&

Loading releases...

} {releasesError &&

{releasesError}

} {releases && releases.length === 0 && ( -
+

No releases found for this repository.

Note: To view draft releases, your GitHub Personal Access Token must have repository permissions for "Contents: Read & write". @@ -3327,7 +3327,7 @@ const RepoEditView: React.FC = ({ onSave, onCancel, repositor className="flex-1 flex flex-col min-h-0 bg-white dark:bg-gray-800 animate-fade-in" data-automation-id="repo-form" > -

+
-