Mercurial > hg > octave-jordi
directory /libgui/src/icons/ @ 16610:a1f613e5066d
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 arrow_right.png
|
3324 | -rw-r--r-- |
 artsbuilderexecute.png
|
1382 | -rw-r--r-- |
 bookmark.png
|
690 | -rw-r--r-- |
 bp_next.png
|
1173 | -rw-r--r-- |
 bp_prev.png
|
1159 | -rw-r--r-- |
 bp_rm_all.png
|
803 | -rw-r--r-- |
 bp_toggle.png
|
2608 | -rw-r--r-- |
 chat.png
|
15258 | -rw-r--r-- |
 configure.png
|
2548 | -rw-r--r-- |
 db_cont.png
|
1730 | -rw-r--r-- |
 db_step.png
|
1251 | -rw-r--r-- |
 db_step_in.png
|
1377 | -rw-r--r-- |
 db_step_out.png
|
1189 | -rw-r--r-- |
 db_stop.png
|
1010 | -rw-r--r-- |
 editcopy.png
|
1075 | -rw-r--r-- |
 editcut.png
|
1379 | -rw-r--r-- |
 editdelete.png
|
2552 | -rwxr-xr-x |
 editpaste.png
|
1550 | -rw-r--r-- |
 filenew.png
|
410 | -rw-r--r-- |
 fileopen.png
|
1365 | -rw-r--r-- |
 fileprint.png
|
1482 | -rw-r--r-- |
 filesave.png
|
1440 | -rw-r--r-- |
 filesaveas.png
|
1942 | -rw-r--r-- |
 find.png
|
1777 | -rw-r--r-- |
 folder_new.png
|
1713 | -rwxr-xr-x |
 gear.png
|
2373 | -rwxr-xr-x |
 graphic_logo_DocumentationDockWidget.png
|
1863 | -rw-r--r-- |
 graphic_logo_FileEditor.png
|
1566 | -rw-r--r-- |
 graphic_logo_FilesDockWidget.png
|
1595 | -rw-r--r-- |
 graphic_logo_HistoryDockWidget.png
|
1540 | -rw-r--r-- |
 graphic_logo_TerminalDockWidget.png
|
1597 | -rw-r--r-- |
 graphic_logo_WorkspaceView.png
|
2024 | -rw-r--r-- |
 help_index.png
|
22733 | -rw-r--r-- |
 icons_license
|
18053 | -rw-r--r-- |
 jabber_protocol.png
|
11050 | -rw-r--r-- |
 letter_logo_DocumentationDockWidget.png
|
1811 | -rw-r--r-- |
 letter_logo_FileEditor.png
|
1879 | -rw-r--r-- |
 letter_logo_FilesDockWidget.png
|
1669 | -rw-r--r-- |
 letter_logo_HistoryDockWidget.png
|
1729 | -rw-r--r-- |
 letter_logo_TerminalDockWidget.png
|
1816 | -rw-r--r-- |
 letter_logo_WorkspaceView.png
|
1926 | -rw-r--r-- |
 logo.png
|
9816 | -rw-r--r-- |
 ok.png
|
1518 | -rwxr-xr-x |
 question.png
|
1903 | -rw-r--r-- |
 redled.png
|
494 | -rw-r--r-- |
 redo.png
|
1895 | -rw-r--r-- |
 reload.png
|
2013 | -rwxr-xr-x |
 search.png
|
1567 | -rw-r--r-- |
 star.png
|
1468 | -rw-r--r-- |
 stop.png
|
358 | -rw-r--r-- |
 terminal.png
|
7757 | -rw-r--r-- |
 undo.png
|
2035 | -rw-r--r-- |
 up.png
|
1604 | -rw-r--r-- |
 zoom-in.png
|
1871 | -rw-r--r-- |
 zoom-out.png
|
1866 | -rw-r--r-- |