@@ -78,7 +78,8 @@ const failureMsg =
7878 'Permission granting failed. Check console logs for details. Common issues: resource not found, invalid WebID format, or network connectivity.' ;
7979
8080void printFailure (String fileName) => debugPrint (
81- '❌ [GrantPermissionUI] Permission granting failed for file: $fileName ' );
81+ '❌ [GrantPermissionUI] Permission granting failed for file: $fileName ' ,
82+ );
8283
8384void printRecipients (List <dynamic >? finalList) =>
8485 debugPrint ('🎯 [GrantPermissionUI] Recipients: $finalList ' );
@@ -212,21 +213,22 @@ Scrollbar getScrollbar({
212213
213214Scrollbar getFormScrollbar (ScrollController controller, Widget permDataTable) =>
214215 getScrollbar (
215- controller: controller,
216- direction: Axis .horizontal,
217- child: Column (
218- children: [
219- Row (
220- children: [
221- permDataTable,
222- // Hspace to avoid vertical scrollbar overlap with table
223- ScrollbarLayout .horizontalGap,
224- ],
225- ),
226- // Vspace to avoid horizontal scrollbar overlap of table
227- ScrollbarLayout .verticalGap,
228- ],
229- ));
216+ controller: controller,
217+ direction: Axis .horizontal,
218+ child: Column (
219+ children: [
220+ Row (
221+ children: [
222+ permDataTable,
223+ // Hspace to avoid vertical scrollbar overlap with table
224+ ScrollbarLayout .horizontalGap,
225+ ],
226+ ),
227+ // Vspace to avoid horizontal scrollbar overlap of table
228+ ScrollbarLayout .verticalGap,
229+ ],
230+ ),
231+ );
230232
231233Scrollbar getPageScrollbar (ScrollController controller, Widget form) =>
232234 getScrollbar (
0 commit comments