Updating the menu lines to look similar across input and editor tabs.
Updating the menu lines to look similar across input
and editor tabs.

MateuszSnamina/yacas,tomaszkrysiuk/yacas,martanoga/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,MateuszSnamina/yacas,martanoga/yacas,martanoga/yacas,martanoga/yacas,qwert2003/yacas,qwert2003/yacas,martanoga/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,MateuszSnamina/yacas,qwert2003/yacas,martanoga/yacas,MateuszSnamina/yacas,martanoga/yacas,grzegorzmazur/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas