Matematyka.pl

Korzystając z chwili wolnego zrealizowałem pomysł, który wpadł mi niedawno do głowy. Chodzi o system podpowiedzi kodów latex. Często zdarza mi się, że nie pamiętam dokładnie jaki kod ma dany symbol i muszę wtedy szukać go, czy to tutaj w tutorialu, czy też gdzieś indziej. Skrypt, który tutaj prezentuje w 99% procentach rozwiązuje ten problem. Jak to wygląda oraz sam skrypt można znaleźć .

Pytania i sugestię proszę zgłaszać w tym temacie bądź na pw.

Jako, że mój czas wolny praktycznie się skończył w tym tygodniu to nie zdążyłem doprowadzić kontekstów symboli do jakiegoś znośnego poziomu (w sumie to tylko z 5 symboli ma marny kontekst) prosiłbym kogoś kto się nudzi o napisanie mi (najlepiej na pw, żeby tutaj nie zaśmiecać) konteksty jakiś symboli. Jeśli parę osób by mi przysłało po kilka kontekstów to już by było dużo. Mogą być one w dowolnej regularnej formie, wypisane po przecinku itp..
Czym jest kontekst łatwo można zauważyć pod koniec filmiku umieszczonego na w/w stronie. Krótko rzecz ujmując są to powiązania pomiędzy symbolami, które wstawiamy.

Niestety skrypt musi zmieniać font na monotypiczny, ponieważ JavaScript nie posiada obsługi położenia kursora w polu tekstowym. Oczywiście da się to policzyć także przy zwykłym foncie jednak trzeba zbadać każdy znak z osobna, a nie tak jak teraz, tylko ilość znaków. Mogę sprawdzić jutro po południu jakby to wyglądało ale obawiam się, że zbytnio obciążało by procesor. Oczywiście można by użyć dowolnego fonta monotypicznego, na razie ustawiłem po prostu monospace czyli domyślny font monotypiczny w przeglądarce. Jeśli jest jakiś czytelny w miarę popularny font to mogę wstawić go jako domyślny, nie ma problemu. (o @font-face dalej można raczej pomarzyć w szerszym kontekście)

Oczywiście, da rade to zrobić. W sumie to rozwiązało by także problem większej liczby podpowiedzi. Jak tylko będę miał czas to wprowadzę tą zmianę oraz coś z tą czcionką pomyślę.

p.s. Nikt nie wysłał mi żadnych kontekstów :/ . Nie wiem czy nie jasno napisałem o co chodzi czy nikt nie miał ochoty/czasu. Chodziłoby mi o to by dostać listę
\(\displaystyle{ s_{1}:s_{11},s_{12},s_{13}\cdots \\
s_{2}:s_{21},s_{22},s_{23}\cdots}\)
gdzie \(\displaystyle{ s_{k}}\) to wstawiany symbol a \(\displaystyle{ s_{km}}\) to symbol, który zazwyczaj wstawia się to naszym \(\displaystyle{ s_{k}}\). Tak jak to zostało pokazane na filmie z granicą. Może to być w dowolnej innej regularnej formie.

Nowa wersja 1.1

Miło mi jest poinformować iż właśnie została wydana nowsza wersja skryptu. Zostały wprowadzone dość duże zmiany. Między innymi obsługa klawiatury, obsługa dowolnej strony, możliwości konfiguracyjne (na razie skromne). Wszystko najlepiej zobaczyć na filmie umieszczonym na podanej w pierwszym poście stronie lub .
Skrypt posiada jeszcze parę niedoróbek, jednak nie są one znaczące.

Jeśli mamy starszą wersję instalujemy nowszą normalnie, starsza wersja zostanie zastąpiona.

Aby dodać obsługę danej strony:
1. Dodajemy jej obsługę w greasemonkey
2. Wchodzimy na nią
3. Klikamy prawym przyciskiem na ikonkę greasemonkeya i wybieramy, Polecenia skryptu>Ustaw selektor
4. Wstawiamy odpowiedni selektor
5. Odświeżamy stronę

Selektory dla niektórych stron.
- (okienko może być tutaj źle wypozycjonowane, po wstawieniu jednej podpowiedzi powinno być już dobrze) http://thornahawk.unitedti.org/equation ... editor.php W razie pytań lub problemów proszę pisać tutaj.

Kurde, myślałem, że już nie ma tego buga, a jednak. Postaram się go wyeliminować w przyszłej wersji.

Poprawiłem denerwującego buga "$". W przyszłym tygodniu postaram się więcej nad całością popracować. Przygotowuje także coś dla kilikaczy.

A konkretniej? Ja korzystam z linuksa i wszystko mi działa. Chyba raczej chodzi o inny czynnik.

Hmm może inaczej. Czy działało wcześniej czy od razu nie działało? Próbowałeś instalować ponownie?

Jeszce powiedz czy czcionka w polu pisania posta zmienia się po załadowaniu strony? Aha, jeszcze możesz też napisać jaką masz wersje przeglądarki.

Myślałem sobie o tym dlaczego może nie działać i przypomniałem sobie że niedawno wyszła nowa wersja jquery i rzeczywiście po wgraniu najnowszej wersji nie działa. Możliwe, że jutro uda mi się zajrzeć i naprawić usterkę. Jeśli nie to we wtorek.