@@ -202,10 +202,12 @@ def init_ui(self):
202202 self .venv_button = self .ui .findChild (QPushButton , "venv_button" )
203203 self .venv_label = self .ui .findChild (QLabel , "venv_label" )
204204 self .label_folder = self .ui .findChild (QLabel , "label_folder" )
205+ self .label_workspace_status = self .ui .findChild (QLabel , "label_workspace_status" )
205206 self .label_workspace_section = self .ui .findChild (QLabel , "label_workspace_section" )
206207 self .label_files_section = self .ui .findChild (QLabel , "label_files_section" )
207208 self .label_logs_section = self .ui .findChild (QLabel , "label_logs_section" )
208209 self .file_list = self .ui .findChild (QListWidget , "file_list" )
210+ self .file_filter_input = self .ui .findChild (QLineEdit , "file_filter_input" )
209211 # Afficher le logo dans la sidebar (chemin absolu depuis le dossier projet)
210212 from PySide6 .QtGui import QPixmap
211213 from PySide6 .QtWidgets import QApplication
@@ -262,6 +264,21 @@ def init_ui(self):
262264 self .compile_btn = self .ui .findChild (QPushButton , "compile_btn" )
263265 self .cancel_btn = self .ui .findChild (QPushButton , "cancel_btn" )
264266 self .btn_help = self .ui .findChild (QPushButton , "btn_help" )
267+
268+ # Statut workspace dans l'en-tête
269+ if self .label_workspace_status :
270+ try :
271+ ws = getattr (self , "workspace_dir" , None )
272+ if ws :
273+ self .label_workspace_status .setText (
274+ self .tr (f"Workspace : { ws } " , f"Workspace: { ws } " )
275+ )
276+ else :
277+ self .label_workspace_status .setText (
278+ self .tr ("Workspace : Aucun" , "Workspace: None" )
279+ )
280+ except Exception :
281+ pass
265282 self .btn_suggest_deps = self .ui .findChild (QPushButton , "btn_suggest_deps" )
266283 self .btn_bc_loader = self .ui .findChild (QPushButton , "btn_bc_loader" )
267284 self .btn_acasl_loader = self .ui .findChild (QPushButton , "btn_acasl_loader" )
@@ -307,6 +324,13 @@ def init_ui(self):
307324 self .compile_btn .clicked .connect (self .compile_all )
308325 self .cancel_btn .clicked .connect (self .cancel_all_compilations )
309326
327+ # Filtre de fichiers
328+ if self .file_filter_input :
329+ try :
330+ self .file_filter_input .textChanged .connect (self .apply_file_filter )
331+ except Exception :
332+ pass
333+
310334 from bcasl import open_bc_loader_dialog
311335
312336 self .btn_bc_loader .clicked .connect (lambda : open_bc_loader_dialog (self ))
0 commit comments