@@ -1627,6 +1627,7 @@ contains |
| 1627 | | 1627 | |
| 1628 | ! Toggle file extensions in labels | 1628 | ! Toggle file extensions in labels |
| 1629 | subroutine toggle_file_extensions() | 1629 | subroutine toggle_file_extensions() |
| | 1630 | + use gtk, only: gtk_widget_queue_draw |
| 1630 | show_file_extensions = .not. show_file_extensions | 1631 | show_file_extensions = .not. show_file_extensions |
| 1631 | if (show_file_extensions) then | 1632 | if (show_file_extensions) then |
| 1632 | print *, "File extensions enabled" | 1633 | print *, "File extensions enabled" |
@@ -1635,6 +1636,13 @@ contains |
| 1635 | end if | 1636 | end if |
| 1636 | ! Invalidate layout to force redraw | 1637 | ! Invalidate layout to force redraw |
| 1637 | call invalidate_layout() | 1638 | call invalidate_layout() |
| | 1639 | + ! Trigger widget redraw to show the change |
| | 1640 | + if (c_associated(widget_for_redraw)) then |
| | 1641 | + call gtk_widget_queue_draw(widget_for_redraw) |
| | 1642 | + print *, "Redraw queued for file extension toggle" |
| | 1643 | + else |
| | 1644 | + print *, "ERROR: widget_for_redraw not associated!" |
| | 1645 | + end if |
| 1638 | end subroutine toggle_file_extensions | 1646 | end subroutine toggle_file_extensions |
| 1639 | | 1647 | |
| 1640 | ! Toggle age-based coloring | 1648 | ! Toggle age-based coloring |
