Mirror of forum.nim-lang.org

3520 :: Is there any Textadept user here ?

• DTxplorer (orginal) [2018-02-03T01:50:05+01:00] view original

  Hi, I tried Textadept today I don't know where is the community so I ask here because this editor supports Nim. I read all the API and manual during hours and I didn't found how to set the default font size. Any help is welcome.

---

• darek (orginal) [2018-02-03T05:15:06+01:00] view original

  Theme font could be set by editing ~/.textadept/init.lua

  From https://foicica.com/textadept/manual.html#Themes

  buffer.set_theme() can also tweak theme properties like font face and font size without editing the theme file itself:

  buffer.set_theme('light', {font = 'Monospace', fontsize = 12})

---

• DTxplorer (orginal) [2018-02-03T11:46:27+01:00] view original

  Thanks for the quick answer but I have another question. How do you know the name of the "buffer" you want to set ? The manual is not very clear about this.

---

• darek (orginal) [2018-02-04T04:55:14+01:00] view original

  I have downloaded 10.0 alpha, maybe in older versions it is still ui.set_theme - init.lua is executed at start and all "buffers" (whatever it means) are affected.

  Please try both versions, eg:

  ui.set_theme('dark', {font = 'Liberation Mono', fontsize = 32})

  buffer.set_theme('light', {font = 'Courier', fontsize = 24})

  One of them should work.

---

• darek (orginal) [2018-02-04T05:05:33+01:00] view original

  Yes, it is a recent change. See:

  https://foicica.com/textadept/manual.html#Textadept.9.to.10 https://foicica.com/textadept/api.html#buffer.set_theme

---

• DTxplorer (orginal) [2018-02-05T00:08:49+01:00] view original

  My version is 9.6. ui.set_theme() is the good function for me (and not set_theme()). The concept of buffer remains a bit mysterious for me, but Textadept is usable now.

---

• Jipok (orginal) [2018-02-06T17:17:42+01:00] view original

  Either in ~/.textadept/init.lua

  
  ui.set_theme('vscode-dark', {fontsize = 13})
  Run

  or in your theme file

  
  property['font'], property['fontsize'] = 'iosevka', 13
  
  -- Predefined styles.
  property['style.default'] = 'font:%(font),size:%(fontsize),'...
  Run

  I used vscode before, but now my views are different and I hate applications on electron. However, I like the standard theme, so I moved it to textadept. If someone is interested in it, then I can put it somewhere. screenshot

---

• DTxplorer (orginal) [2018-02-08T19:24:27+01:00] view original

  @Jipok I found a decent black theme, here but yours is nice too.

---