parent
21e283317b
commit
08bf5541f8
|
@ -271,7 +271,7 @@ $G.on("keydown", e => {
|
|||
const delta = plus - minus; // var delta = +plus++ -minus--; // Δ = ±±±±
|
||||
|
||||
if(selection){
|
||||
selection.scale(Math.pow(2, delta));
|
||||
selection.scale(2 ** delta);
|
||||
}else{
|
||||
if(selected_tool.name === "Brush"){
|
||||
brush_size = Math.max(1, Math.min(brush_size + delta, 500));
|
||||
|
|
|
@ -442,7 +442,7 @@
|
|||
current_session = null;
|
||||
}
|
||||
};
|
||||
const generate_session_id = () => (Math.random()*Math.pow(2, 32)).toString(16).replace(".", "");
|
||||
const generate_session_id = () => (Math.random()*(2 ** 32)).toString(16).replace(".", "");
|
||||
const update_session_from_location_hash = e => {
|
||||
// TODO: should #load: be separate from #session:/#local:,
|
||||
// and be able to load *into* a session, rather than just start one?
|
||||
|
|
Loading…
Reference in New Issue