Content deleted Content added
m User:P3d0 is now User:Doradus, replaced: User:P3d0|P3d0 → User:Doradus|Doradus (5) using AWB |
|||
Line 308:
:But there are colours in the "style" header. Isn't that sufficient to indicate the preferred presentation of standard Eiffel code? When re-reading the article, after your post, above, nothing about it struck me as "terrible" --note that I am not an Eiffel practitioner-- and the separate header for normal style was informative without breaking the encyclopaedic convention. Or am I missing something here? Because I hope there must have been some significantly nefarious editing going on for someone to cry "vandalism" and "ban the witch!". [[User:Mikademus|Mikademus]] 18:49, 7 September 2006 (UTC)
::I am an Eiffel practitioner. Nobody I've ever met cares about the official Eiffel Font Conventions™ except Meyer. He's being inexcusably stubborn and rude on this point. --[[User:
::If or when consensus is reached to use a non-standard style convention for this article, despite the rather glaring contrast with other PL articles, I will happily defer to such consensus. That's why I created the above "Quick poll" to gauge sentiment" (given that the prior reams of discussion were inconclusive, and excessively rancorous). But unless such agreement is reached, using the "standard Wikipedia convention" is really the only reasonable action. As Mikademus indicates, I took the trouble of adding an example using the "Eiffel convention" so that readers could see it, and tried to integrate that well with the narrative text about style conventions. If you think some other code sample would illustrate more conventions, I'd be more than happy to use such an expanded example.
Line 446:
However, if we were to convert the page to using GeSHi <nowiki><source></nowiki> tags then we could move the convention issues over to fixing Eiffel syntax highlighting in GeSHi (there are, apparently, files for each language which can be changed) and not have to mess with markup on this page anymore -- it would all propogate automatically. Thoughts? -- [[User:Leland McInnes|Leland McInnes]] 20:11, 16 May 2007 (UTC)
:I like this proposal. GeSHi seems to use CSS so it's reasonable to think users could pick how they want to view the code. For instance, I could imagine little buttons on every source snippet that would switch between formatted and unformatted views. Regardless, with GeSHi support, I think these <nowiki><source></nowiki> tags are likely to become the standard way to present code, so this article should probably conform for that reason. --[[User:
::It is done. Certainyl it makes maintainability of code samples much easier. It also has the bonus of actually taggin code as Eiffel code specifically. Unfortunately it doesn't work fo inline code. -- [[User:Leland McInnes|Leland McInnes]] 06:39, 19 May 2007 (UTC)
:::Why wouldn't it work for inline code? --[[User:
::::Because GeSHi automatically renders into blocks, so putting <nowiki><source></nowiki> tags on inline code only results in it no longer being inline. -- [[User:Leland McInnes|Leland McInnes]] 02:42, 5 July 2007 (UTC)
Nice to see the article has recovered from its brief bout of blue-font insanity. I think the way it's done now, with a "style conventions" section, is just right. --[[User:
: there was a clear vote on how it should like, and the inventors proposal was voted for. i'd suggest you change your stylesheet so it conforms to the original, or you change it back to without stylesheet and it looks again like the original. --[[User:83.215.194.249|83.215.194.249]] 00:13, 5 July 2007 (UTC)
Line 460:
:: I would be happy if the GeSHi Eiffel stylesheet could be cleaned up to conform. It's actually reasonably close already (compare, for example, to code on the open source EiffelStudio wiki [http://eiffelsoftware.origo.ethz.ch/Catcall_checkpoints][http://eiffelsoftware.origo.ethz.ch/Usage-site_variance]). That, however, is in the hands of whoever maintains GeSHi for Wikipedia -- I really would not know how to make the change as an ordinary user. Ultimately this is the best solution, it just has pending stylesheet changes to be dealt with. -- [[User:Leland McInnes|Leland McInnes]] 02:42, 5 July 2007 (UTC)
::: It seems to be at [[MediaWiki:Geshi.css]], so make whatever change you want. --[[User:
== No instructions, advice, or how-to ==
|