diff options
| author | hallgren <hallgren@chalmers.se> | 2012-04-03 14:53:23 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-04-03 14:53:23 +0000 |
| commit | a4a154e5e24728d722457eb9f4d75cdf7b463efb (patch) | |
| tree | 40ef5a94313498e84d0999ce80b8460e5acf2fb5 /eclipse/index.html | |
| parent | 6644d93ec2706ffff89a03e157d25905ee96767b (diff) | |
minibar: remember current input
If you leave the minibar and later return, the previous input will be
restored. One input string per grammar is rememebered, so you can also switch
back and forth between grammars without losing the input.
This is implemented using localStorage, i.e. the data is stored locally on
the user's device.
Diffstat (limited to 'eclipse/index.html')
0 files changed, 0 insertions, 0 deletions