Commit Graph

11 Commits

Author SHA1 Message Date
John J. Camilleri
d0ce46722b Minor cleanup in webpages 2018-06-12 15:41:05 +02:00
odanoburu
9a17ca21b5 * update GF mode
- moved to new repo at
  https://github.com/GrammaticalFramework/gf-emacs-mode
- main changes:
  - use utf-8 encoding for inferior gf process
  - add display of operation types
- update links
2018-06-04 09:16:02 -03:00
John J. Camilleri
98db9a257f Update editor modes page for Atom 2017-12-06 10:35:28 +01:00
gregoire.detrez
8d873c8a32 Add vim and eclipse in the page about editor modes (fix) 2013-08-22 15:26:26 +00:00
gregoire.detrez
179143ae31 Add vim and eclipse in the page about editor modes 2013-08-22 15:17:30 +00:00
hallgren
351661f427 Convert some documentation to UTF-8
Using

	%!encoding:utf-8

in txt2tags files ensures that the generated HTML includes an appropriate
charset declaration. This way we avoid relying on browser defaults, which can
be wrong.
2012-11-27 16:03:29 +00:00
hallgren
ac6c8971fc Make the GF web site more mobile friendly
Most of the pages on the GF web site have an exemplary simple design,
with just one column of text. This make them adapt exceptionally
well to screens of different sizes. In particular, they should be
easy to read even on smartphones.

However, smartphone browsers like Mobile Safari and the default
Android Browser assume that pages do *not* adapt well to small
screens, so by default they emulate a big screen, forcing the user
to zoom in to a part of the page to be able to read it. By adding
the meta tag

  <meta name = "viewport" content = "width = device-width">

the big screen emulation can be turned off, allowing pages to be
formatted to fit the actual screen size and text to be displayed
at a readable size.
2012-09-28 20:26:13 +00:00
john.j.camilleri
b972835712 Updated instructions for gedit editor mode 2012-01-23 12:57:08 +00:00
john.j.camilleri
5b8035abc2 Removed GFEP section from GF Editor Modes page 2011-12-28 14:01:24 +00:00
john.j.camilleri
83533afd5f Added link for GFEP 2011-10-17 15:40:18 +00:00
hallgren
c32a244a3c Created a new page documenting available editor modes for GF
Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
2011-09-20 12:41:32 +00:00