built_in:is_folder
Media Manager
Media Files
Files in pics
- aboutdlg.png
- 400×314
- 2015/01/25 22:26
- 26.4 KB
- colorpicker.png
- 400×336
- 2015/01/25 22:26
- 33.2 KB
- fontawesomepicker.png
- 480×543
- 2015/02/08 20:23
- 23 KB
- ide1.png
- 900×1440
- 2014/09/16 16:31
- 355.2 KB
- ide2.png
- 900×1440
- 2014/09/16 16:31
- 154 KB
- ide3.png
- 900×1440
- 2014/09/16 16:31
- 154.8 KB
- micro-bit.png
- 540×440
- 2016/10/25 17:46
- 32.6 KB
- newfile.png
- 400×140
- 2015/01/25 22:26
- 11.5 KB
- newfolder.png
- 400×138
- 2015/01/25 22:26
- 11.7 KB
- screenshot_2014-10-08-06-54-32.png
- 1440×900
- 2014/10/08 13:57
- 228.1 KB
![[root]](/wiki/doku.php?id=built_in:is_folder&ns=&tab_files=files&do=media&tab_details=view&image=pics%3Anewfolder.png){kind=link}
File
- View
- History
- Date:
- 2015/01/25 22:26
- Filename:
- newfolder.png
- Format:
- PNG
- Size:
- 12KB
- Width:
- 400
- Height:
- 138
- References for:
- new_folder
built_in/is_folder.txt · Last modified: 2015/03/21 21:00 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
