-
Sébastien Wilmet authored
Because the GtkPaned handle is no longer drawn by GTK+. Conflicts: src/side_panel.vala src/symbols_view.vala
bdab2be3
Because the GtkPaned handle is no longer drawn by GTK+. Conflicts: src/side_panel.vala src/symbols_view.vala