view .editorconfig @ 28331:be3dab3212e9

getpixelposition.m: Implement new function (bug #58181) * graphics.cc (F__get_position__): New builtin function. * scripts/gui/getpixelposition.m: new function. * scripts/gui/module.mk: Add new function to build system. * gui.txi: Add doc string to the manual.
author Pantxo Diribarne <pantxo.diribarne@gmail.com>
date Sun, 19 Apr 2020 20:25:11 +0200
parents 640ee0d531d0
children
line wrap: on
line source

root = true

[*]
charset = utf-8
end_of_line = lf
indent_size = 2
indent_style = space
insert_final_newline = true

[*.{am,mk}]
indent_size = tab
indent_style = tab