@@ -338,8 +338,10 @@ var PreferencesDialog = class PreferencesDialog {
});
// Add a header bar to the window.
if(utils.isGTK4()){
constheader=Gtk.HeaderBar.new();
window.set_titlebar(header);
}
constbox=newGtk.Box({
orientation:Gtk.Orientation.VERTICAL,
Reference in New Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.