2016-05-05 23:48:26 +02:00
|
|
|
export const CHANGE_SELECTED_FILE = 'CHANGE_SELECTED_FILE';
|
2016-05-12 23:40:49 +02:00
|
|
|
export const TOGGLE_SKETCH = 'TOGGLE_SKETCH';
|
|
|
|
|
|
|
|
export const START_SKETCH = 'START_SKETCH';
|
2016-06-17 19:37:29 +02:00
|
|
|
export const STOP_SKETCH = 'STOP_SKETCH';
|
|
|
|
|
2016-06-17 20:31:33 +02:00
|
|
|
export const OPEN_PREFERENCES = 'OPEN_PREFERENCES';
|
|
|
|
export const CLOSE_PREFERENCES = 'CLOSE_PREFERENCES';
|
2016-06-20 20:58:15 +02:00
|
|
|
export const INCREASE_FONTSIZE = 'INCREASE_FONTSIZE';
|
|
|
|
export const DECREASE_FONTSIZE = 'DECREASE_FONTSIZE';
|