ignore_request_hide_titlebar este o extensie GNOME Shell, care va asigura bara de titlu nu va fi ascuns atunci când ferestrele sunt maximizate.Pentru a instala această extensie trebuie să aveți GNOME Shell instalate sau scortisoara. . Cu toate acestea,...