How does DEVC + + set the font size? Adjustment method of DEVC + + font style and size

Time:2022-5-2

When writing code with DEVC + +, you sometimes need to modify the font and size to make the code look more comfortable. How to modify the font size? We click the “tools” bar in the column above DEVC + +; Select “editor options”; Click the display column in the pop-up editor attribute interface, and adjust the size and column spacing. Please see the following description for details.

On the menu barTool button

Point editor options.

spotDisplay Ops

See font pointPull down button.

Select the font you need.

The size of the right side and the size of the font. Self adjustable.

The above is how DEVC + + sets the font and font size. I hope you like it. Please continue to pay attention to developeppaer.

Relevant recommendations:

How to remove the serial number in front of DEVC program code?

Recommended Today

Reading data in XML format with Ajax

Copy codeThe code is as follows: <!DOCTYPE html PUBLIC “-//W3C//DTD XHTML 1.0 Strict//EN”      “http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd”>  <html>  <head>  <title>Ajax Hello World</title>  <script type=”text/javascript”>  var xmlHttp;  function createXMLHttpRequest(){      if(window.ActiveXObject){          xmlHttp = new ActiveXObject(“Microsoft.XMLHTTP”);      }      else if(window.XMLHttpRequest){          xmlHttp = new XMLHttpRequest();      }  }  function startRequest(){      createXMLHttpRequest();      try{          xmlHttp.onreadystatechange = handleStateChange;          xmlHttp.open(“GET”, “data.xml”, true);          xmlHttp.send(null);          }catch(exception){  Alert (“the resource you want to access does not exist!”);      }  }  function handleStateChange(){          if(xmlHttp.readyState == 4){                  if (xmlHttp.status == 200 || xmlHttp.status == 0){  / / get the DOM object of XML            var xmlDOM = xmlHttp.responseXML;  / / get the […]