6174 / 6174/pagedown

Please pull handleUndo changes

オープン
#11 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る
auto-migrated Priority-Medium Type-Defect
主要言語
JavaScript
スター
0
フォーク
0
PR マージ指標
30日以内にマージされた PR はありません

説明

```
Hi,

I implemented a shared settings object which allows you to tweak the editor at
creation time without editing the code.

I also added a handleUndo switch which allows you to turn off the undo
functionality which I needed for my project with shareJS.

The change is at
http://code.google.com/r/woutmertens-noundo/source/detail?r=52c43623e71b1c912d68
4bd4b513c9fe1cc23c09
```

Original issue reported on code.google.com by `wout.mer...@gmail.com` on 5 Jan 2012 at 3:56

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。