I often switch pencils colors and strokes width, also between pencils and highlights.
If we can use stock buttons which enable us to stock pencils or highlights preferences including color, width, this function makes GoodNotes easier to use!!