()
| 281 | } |
| 282 | |
| 283 | function change_background_image() { |
| 284 | var selected_id = get_selected_nodeid(); |
| 285 | if (!selected_id) { |
| 286 | prompt_info('please select a node first.'); |
| 287 | return; |
| 288 | } |
| 289 | |
| 290 | _jm.set_node_background_image(selected_id, 'ant.png', 100, 100); |
| 291 | } |
| 292 | |
| 293 | function set_theme(theme_name) { |
| 294 | _jm.set_theme(theme_name); |
nothing calls this directly
no test coverage detected