You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@drill.apache.org by GitBox <gi...@apache.org> on 2018/11/23 09:48:54 UTC

[GitHub] oleg-zinovev opened a new pull request #1551: DRILL-6867: WebUI Query editor cursor position

oleg-zinovev opened a new pull request #1551: DRILL-6867: WebUI Query editor cursor position
URL: https://github.com/apache/drill/pull/1551
 
 
   Few additional font families added for `query-editor-format` element

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services