()
| 251 | } |
| 252 | |
| 253 | function change_text_font() { |
| 254 | var selected_id = get_selected_nodeid(); |
| 255 | if (!selected_id) { |
| 256 | prompt_info('please select a node first.'); |
| 257 | return; |
| 258 | } |
| 259 | |
| 260 | _jm.set_node_font_style(selected_id, 28); |
| 261 | } |
| 262 | |
| 263 | function change_text_color() { |
| 264 | var selected_id = get_selected_nodeid(); |
nothing calls this directly
no test coverage detected