You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is particularly helpful in Workbench since the editor width is limited (having multiple panes) so an error can easily happen outside the viewport (in the scroll view).
This will help beginners find errors in their code.
Like Builder:
This is particularly helpful in Workbench since the editor width is limited (having multiple panes) so an error can easily happen outside the viewport (in the scroll view).
This will help beginners find errors in their code.
This should be reasonably easy to do using by placing a
GtkSourceMark
in theGtkSourceGutter
. See https://gnome.pages.gitlab.gnome.org/gtksourceview/gtksourceview5/class.Gutter.htmlThe text was updated successfully, but these errors were encountered: